lol-deduce

Proof language of logic-online

Usage no npm install needed!

<script type="module">
  import lolDeduce from 'https://cdn.skypack.dev/lol-deduce';
</script>

Deduction language for logic-online: http://logic-online.herokuapp.com/.

npm install