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

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

lean4

Last synced: about 1 month 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 (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-10-30T04:59:28.000Z (2 months ago)
• Last Synced: 2024-10-30T07:16:07.810Z (2 months 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

Awesome Lists containing this project