co-dan/FormalFitch
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
1 commit 1 branch 0 tags 45 KiB
  • Rocq Prover 97.2%
  • Makefile 2.8%
Find a file
Exact
Dan Frumin 43d42878da initial import
2026-07-24 20:39:10 +02:00
theories initial import 2026-07-24 20:39:10 +02:00
.gitignore initial import 2026-07-24 20:39:10 +02:00
_CoqProject initial import 2026-07-24 20:39:10 +02:00
_RocqProject initial import 2026-07-24 20:39:10 +02:00
Makefile initial import 2026-07-24 20:39:10 +02:00