issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
New Webpage
#22
Closed
soonhokong
closed
9 years ago
soonhokong
commented
9 years ago
Items:
[ ] Main Page (Introduction)
[x] Link to Tutorial
[x] Link to Live Demo
[x] Source (github)
[ ] Download / Installation
[x] People
[ ] Publications & Presentations
[ ] Blog
Tools:
http://khan.github.io/KaTeX/
http://getbootstrap.com/
http://jekyllrb.com/
Items:
Tools: