pkshashank / GFLeanTransferLinks
☆12Updated last year
Alternatives and similar repositories for GFLeanTransfer
Users that are interested in GFLeanTransfer are comparing it to the libraries listed below
Sorting:
- ImProver: Agent-Based Automated Proof Optimization☆36Updated last week
- Python client to interact with the lean4 language server.☆22Updated 3 weeks ago
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…