GitHub - khram2003/coqpilotTests · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.nix		.nix
src		src
.gitignore		.gitignore
Makefile		Makefile
default.nix		default.nix

About

No description, website, or topics provided.

1 star

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 64.7%
Nix 27.7%
Makefile 7.6%