display lean binary version (git sha1) - Githubissues

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

display lean binary version (git sha1) #14

Open soonhokong opened 9 years ago