' + '

Something went wrong

' + '

The app couldn\u2019t load. This is usually a temporary issue.

' + '' + '' + '

' + (errorMsg || '') + '

'; document.body.appendChild(div); document.getElementById('lex-cr-reload').onclick = function() { window.location.reload(); }; document.getElementById('lex-cr-clear').onclick = function() { try { // Nuke service workers if ('serviceWorker' in navigator) { navigator.serviceWorker.getRegistrations().then(function(regs) { regs.forEach(function(r) { r.unregister(); }); }); } // Nuke all caches if ('caches' in window) { caches.keys().then(function(names) { names.forEach(function(n) { caches.delete(n); }); }); } // Clear localStorage except auth var authBackup = localStorage.getItem('sb-lex-auth-token-backup'); var keys = []; for (var i = 0; i < localStorage.length; i++) keys.push(localStorage.key(i)); keys.forEach(function(k) { if (k && !k.startsWith('sb-') && k !== 'sb-lex-auth-token-backup') { localStorage.removeItem(k); } }); // Clear sessionStorage sessionStorage.clear(); } catch(e) {} setTimeout(function() { window.location.href = '/'; }, 200); }; } })();

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof

Details

Find this book

Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof

Details

Find this book