Theorem
- 27 followers
- United States of America
- https://theorem.dev/
- company/theoremlabs
- contact@theorem.dev
Popular repositories Loading
-
sf-bench-part1
sf-bench-part1 PublicBenchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)
Rocq Prover 3
-
rocq-lean-import
rocq-lean-import PublicForked from rocq-community/rocq-lean-import
Lean Import for Autoformalization
OCaml
Repositories
Showing 2 of 2 repositories
- sf-bench-part1 Public
Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)
theorem-labs/sf-bench-part1’s past year of commit activity - 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…