A proofs class textbook in Lean 4 suitable for coders(hrmacbeth.github.io)
hrmacbeth.github.io
A proofs class textbook in Lean 4 suitable for coders
https://hrmacbeth.github.io/math2001/index.html
0 コメント
—
https://hrmacbeth.github.io/math2001/index.html
—