Name: leanprover.github.io
Owner: Lean
Description: www
Created: 2014-05-02 04:52:25.0
Updated: 2017-08-26 07:49:28.0
Pushed: 2018-01-02 20:10:45.0
Homepage: http://leanprover.github.io
Size: 13292
Language: Lean
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Based on http://mmistakes.github.io/skinny-bones-jekyll/