search

leanprover / doc-gen4

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

chore: update Lean/Lake to v4.8.0-rc1 #181

Closed tydeu closed 4 months ago

tydeu commented 4 months ago

Includes some style touchups using new / overlooked Lake utilities.