Sign inSign up

Beluga-lang/McTT

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

Rocq ProverStars 29Forks 2Watchers 29Open issues 18License MIT License
Details
仓库信息
OwnerBeluga-lang
Homepagehttps://beluga-lang.github.io/McTT/
GitHubhttps://github.com/Beluga-lang/McTT
Last pushed2025-12-02
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--