Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

coq-elpi

Coq plugin embedding elpi

OCaml131lgpl-2.1

4 months ago

coqextension-languagelambda-prolog