jeremysalwen / leanprover.github.io

www

http://leanprover.github.io

Based on https://mmistakes.github.io/jekyll-theme-skinny-bones/

About

www

http://leanprover.github.io

MIT License

Languages

Language:Lean 35.5%Language:SCSS 25.8%Language:JavaScript 21.2%Language:HTML 10.6%Language:CSS 6.9%Language:Ruby 0.1%