4 ms·
Here's the HTML version of the same thing: https://leanprover.github.io/theorem_proving_in_lean/ https://leanprover.github.io/theorem_proving_in_lean/
by traderjane 7y ago
Here's the HTML version of the same thing:
https://leanprover.github.io/theorem_proving_in_lean/ https://leanprover.github.io/theorem_proving_in_lean/