theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

fix: Move to mdbook v0.4.6

Open lovettchris opened this issue 3 years ago • 0 comments

lovettchris avatar Jan 28 '22 00:01 lovettchris