issues
search
leanprover
/
doc-gen4
Document Generator for Lean 4
Apache License 2.0
62
stars
41
forks
source link
chore: bump toolchain to v4.9.0-rc1
#187
Closed
semorrison
closed
3 months ago