Beluga-lang

Beluga-lang/McTT

Building A Correct-By-Construction Proof Checkers For Type Theories

33 stars 6 forks 33 watchers Rocq Prover MIT License

View on GitHub Website

3 Open Issues Need Help Last updated: Sep 13, 2026

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

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

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

33

Building A Correct-By-Construction Proof Checkers For Type Theories

Rocq Prover