Plugin_tutorials

A collection of small projects to illustrate how to write plugins for Coq
Alternatives To Plugin_tutorials
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Ergo144109a year ago960November 08, 202246apache-2.0Coq
Programming Language for Smart Legal Contracts
Coq Serapi119
2 months ago17otherOCaml
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Plugin_tutorials23
5 years agounlicenseOCaml
A collection of small projects to illustrate how to write plugins for Coq
Coqpit.vim7
4 years ago3iscVim script
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
Alternatives To Plugin_tutorials
Select To Compare


Alternative Project Comparisons
Popular Coq Projects
Popular Command Line Projects
Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Command Line
Ocaml
Coq
Calculus