https://github.com/siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
https://github.com/siddhartha-gadgil/LeanAide
lean4
Last synced: 11 months ago
JSON representation
Tools based on AI for helping with Lean 4
- Host: GitHub
- URL: https://github.com/siddhartha-gadgil/LeanAide
- Owner: siddhartha-gadgil
- License: apache-2.0
- Created: 2022-09-05T08:49:47.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2024-10-30T04:59:28.000Z (over 1 year ago)
- Last Synced: 2024-10-30T07:16:07.810Z (over 1 year ago)
- Topics: lean4
- Language: Jupyter Notebook
- Homepage:
- Size: 148 MB
- Stars: 65
- Watchers: 10
- Forks: 5
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- License: LICENSE