search

leanprover / doc-gen4

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

feat: use `find` instead of `panic` in `extendLink` #207

Closed acmepjz closed 2 months ago