project-numina / kimina-lean-serverLinks
Kimina Lean server (+ client SDK)
☆104Updated this week
Alternatives and similar repositories for kimina-lean-server
Users that are interested in kimina-lean-server are comparing it to the libraries listed below
Sorting:
- ☆68Updated last year
- ☆61Updated last month
- A simple REPL for Lean 4, returning information about errors and sorries.