issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
autorun option (via get)
#21
Open
soonhokong
opened
9 years ago
soonhokong
commented
9 years ago
run loaded text automatically