Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Lurch is a math editor that can check your proofs!
The Lurch Deductive Engine (LDE)
Introduction to mathematical proofs software by Nathan Carter and Ken Monks of the Lurch project (lurchmath.org)