opam switch create ./ 4.14.2 --no-install
opam install coq -y
To use Coq in an interactive environment, use coqtop.
To use Coq in VScode: opam install coq-lsp vscoq-language-server
Compile using dune build.
-
Notifications
You must be signed in to change notification settings - Fork 0
dannywillems/play-with-coq
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published