Skip to content

lean-dojo/LeanDojoWebsite

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

88 Commits
images
images
 
 
static
static
 
 
.gitignore
.gitignore
 
 
CNAME
CNAME
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
android-chrome-192x192.png
android-chrome-192x192.png
 
 
android-chrome-512x512.png
android-chrome-512x512.png
 
 
apple-touch-icon.png
apple-touch-icon.png
 
 
bridge.html
bridge.html
 
 
bridge.png
bridge.png
 
 
browserconfig.xml
browserconfig.xml
 
 
favicon-16x16.png
favicon-16x16.png
 
 
favicon-32x32.png
favicon-32x32.png
 
 
favicon.ico
favicon.ico
 
 
index.html
index.html
 
 
itpeval.html
itpeval.html
 
 
leanagent.html
leanagent.html
 
 
leancopilot.html
leancopilot.html
 
 
leandojo.html
leandojo.html
 
 
leanide.html
leanide.html
 
 
leanprogress.html
leanprogress.html
 
 
mstile-150x150.png
mstile-150x150.png
 
 
quantumlean.html
quantumlean.html
 
 
site.webmanifest
site.webmanifest
 
 
torchlean.html
torchlean.html
 
 
torchlean.png
torchlean.png
 
 
torhcleanlogo.png
torhcleanlogo.png
 
 

Repository files navigation

About

Code for LeanDojo's website

leandojo.org

Topics

machine-learning theorem-proving lean lean4 llm

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

8 stars

Watchers

3 watching

Forks

3 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages