zhangir-azerbayev / lean-chatLinks
☆50Updated 3 years ago
Alternatives and similar repositories for lean-chat
Users that are interested in lean-chat are comparing it to the libraries listed below
Sorting:
- Very controlled natural language tactics for Lean☆64Updated last year
- Python talking to the Lean theorem prover☆45Updated 4 years ago
- Code samples for Lean 4