gpoesia / minimoLinks
Learning Formal Mathematics from Intrinsic Motivation
☆30Updated 2 months ago
Alternatives and similar repositories for minimo
Users that are interested in minimo are comparing it to the libraries listed below
Sorting:
- Proof artifact co-training for Lean☆45Updated 2 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆56Updated last year
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆124Updated this week
- An environment for learning formal mathematical reasoning from scratch☆67Updated 9 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆36Updated last year
- Python wrapper for lean-gym☆11Updated 2 years ago
- The Lean Theorem Proving Environment