search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

show type information #3

Closed soonhokong closed 7 years ago

Kha commented 7 years ago

Now implemented