GitHub - kenmonks/ToyProofs: Introduction to mathematical proofs software by Nathan Carter and Ken Monks of the Lurch project (lurchmath.org)

kenmonks / ToyProofs Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Introduction to mathematical proofs software by Nathan Carter and Ken Monks of the Lurch project (lurchmath.org)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
CircleDot.html		CircleDot.html
CircleDot.js		CircleDot.js
Introduction.html		Introduction.html
LineProofs.js		LineProofs.js
README		README
Scrambler.html		Scrambler.html
Scrambler.js		Scrambler.js
TriXGame.html		TriXGame.html
TriXGame.js		TriXGame.js
index.html		index.html
lurch.css		lurch.css
lurchutils.js		lurchutils.js
toyproofs-circledot.html		toyproofs-circledot.html
toyproofs-scrambler.html		toyproofs-scrambler.html
toyproofs-trixgame.html		toyproofs-trixgame.html
toyproofs.css		toyproofs.css
toyproofs.js		toyproofs.js

Repository files navigation

This is the web version of the ToyProofs software.  You should be able to find
it here:

                http://lurchmath.org/toyproofs

It is part of the Lurch project (lurchmath.org) by Nathan Carter and Ken Monks
and is covered by the same license.  See lurchmath.org for details.