https://github.com/siddhartha-gadgil/LeanAide

Tools based on AI for helping with Lean 4
https://github.com/siddhartha-gadgil/LeanAide

lean4

Last synced: 3 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 (about 2 years ago)
• Default Branch: main
• Last Pushed: 2024-04-19T16:40:10.000Z (7 months ago)
• Last Synced: 2024-04-22T10:14:39.950Z (7 months ago)
• Topics: lean4
• Language: Jupyter Notebook
• Homepage:
• Size: 119 MB
• Stars: 44
• Watchers: 7
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project