Theorem
Popular repositories Loading
-
rocq-lean-import
rocq-lean-import PublicForked from rocq-community/rocq-lean-import
Lean Import for Autoformalization
OCaml
Repositories
Showing 1 of 1 repositories
- rocq-lean-import Public Forked from rocq-community/rocq-lean-import
Lean Import for Autoformalization
theorem-labs/rocq-lean-import’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…