The Lurch Project: a word processor designed to check the reasoning in proofs(lurchmath.github.io)
lurchmath.github.io
The Lurch Project: a word processor designed to check the reasoning in proofs
https://lurchmath.github.io/site/index.html
0 comments
—