https://github.com/lean-dojo/leandojowebsite

Code for LeanDojo's website
https://github.com/lean-dojo/leandojowebsite

lean lean4 llm machine-learning theorem-proving

Last synced: 5 months ago
JSON representation

Code for LeanDojo's website

• Host: GitHub
• URL: https://github.com/lean-dojo/leandojowebsite
• Owner: lean-dojo
• License: mit
• Created: 2023-05-04T21:37:46.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2025-12-18T07:51:46.000Z (6 months ago)
• Last Synced: 2025-12-21T15:46:28.093Z (6 months ago)
• Topics: lean, lean4, llm, machine-learning, theorem-proving
• Language: JavaScript
• Homepage: https://leandojo.org
• Size: 73.7 MB
• Stars: 8
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# LeanDojoWeb

https://leandojo.org/