search

leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

chore: bump toolchain to v4.7.0 #179

Closed david-christiansen closed 5 months ago