Top 3 interactive-theorem-proving open source projects
Isabelle-HoTT
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
cicada
Cicada Language
abella
An interactive theorem prover based on lambda-tree syntax
1-3 of 3 interactive-theorem-proving projects