coq-cli

go to makasi-cli root folder

Usage no npm install needed!

<script type="module">
  import coqCli from 'https://cdn.skypack.dev/coq-cli';
</script>

README

how to use ?

go to makasi-cli root folder

npm i -g .

hfhf