coq-ecosystem topic

List coq-ecosystem repositories

principia

199
Stars
5
Forks
Watchers

The Principia Rewrite

verified publisher icon LogicalAtomist

coq-ecosystem

41
Stars
1
Forks
Watchers

verified publisher icon xgrommx