README
cicada-notebook
wasm core runs in web browser, with rich UI for theorem proving
cicada-notebook
wasm core runs in web browser, with rich UI for theorem proving
Usage no npm install needed!
<script type="module">
import cicadaNotebook from 'https://cdn.skypack.dev/cicada-notebook';
</script>