search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 93 forks source link

fix: Move to mdbook v0.4.6 #23

Closed lovettchris closed 9 months ago

david-christiansen commented 9 months ago

I think that this PR has been superseded by later updates, so I'll close it.

Thanks!