Open Issues Need Help
View All on GitHub [Meta] Jason's plan for extending McTT as a research platform about 1 month ago
enhancement help wanted long term
Beluga-lang/McTT Beluga-lang/McTT Building A Correct-By-Construction Proof Checkers For Type Theories
Open project →
33
Building A Correct-By-Construction Proof Checkers For Type Theories
Rocq Prover
Consider Coqlex about 1 year ago
enhancement good first issue dependencies
Beluga-lang/McTT Beluga-lang/McTT Building A Correct-By-Construction Proof Checkers For Type Theories
Open project →
33
Building A Correct-By-Construction Proof Checkers For Type Theories
Rocq Prover
Some optimization opportunity (repeated substatements) about 1 year ago
enhancement good first issue
Beluga-lang/McTT Beluga-lang/McTT Building A Correct-By-Construction Proof Checkers For Type Theories
Open project →
33
Building A Correct-By-Construction Proof Checkers For Type Theories
Rocq Prover