lean-dojo/leandojo: Tool for data extraction and interacting with Lean programmatically.
Category: math
Language: Python
Topics: lean, lean4, machine-learning, theorem-proving
Homepage: https://leandojo.org