@jscoq/htt

Hoare Type Theory for jsCoq 0.13

Usage no npm install needed!

<script type="module">
  import jscoqHtt from 'https://cdn.skypack.dev/@jscoq/htt';
</script>

README

addon-htt

Hoare Type Theory addon for jsCoq