Software for teaching and learning mathematical proofs
Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
Latest 5 files |
|||
---|---|---|---|
Nombre | Tamaño | Fecha | Download count |
release-notes.txt | 2.2 KB | 2014-10-11 03:04 | 2 |
README | 2.2 KB | 2014-10-11 03:04 | 7 |
Installation Instructions - linux.txt | 2.5 KB | 2014-10-11 02:59 | 5 |
Lurch-0.8.dmg | 32.2 MB | 2014-04-04 21:31 | 6 |
Lurch-0.8-Setup.exe | 47.5 MB | 2014-04-03 15:45 | 26 |
Todos los Ficheros |
|||
Lurch | |||
0.8 | |||
release-notes.txt | 2.2 KB | 2014-10-11 03:04 | 2 |
README | 2.2 KB | 2014-10-11 03:04 | 7 |
Installation Instructions - linux.txt | 2.5 KB | 2014-10-11 02:59 | 5 |
Lurch-0.8.dmg | 32.2 MB | 2014-04-04 21:31 | 6 |
Lurch-0.8-Setup.exe | 47.5 MB | 2014-04-03 15:45 | 26 |
0.7992 | |||
install-lurch-0.7992-ubuntu | 10.9 KB | 2013-07-11 08:17 | 9 |
release-notes.txt | 2.1 KB | 2013-05-09 15:07 | 0 |
README | 2.1 KB | 2013-05-09 15:07 | 0 |
Lurch-0.7992.dmg | 20.4 MB | 2013-05-09 15:07 | 3 |
Lurch-0.7992-Setup.exe | 17.0 MB | 2013-05-09 15:06 | 11 |
0.7991 | |||
release-notes.txt | 3.4 KB | 2013-04-11 13:50 | 0 |
README | 3.4 KB | 2013-04-11 13:50 | 0 |
Lurch-0.7991.dmg | 20.4 MB | 2013-04-11 13:49 | 1 |
Lurch-0.7991-Setup.exe | 17.0 MB | 2013-04-11 13:48 | 2 |
install-lurch-0.7991-ubuntu | 10.5 KB | 2013-04-11 13:48 | 6 |
0.799 | |||
release-notes.txt | 2.6 KB | 2013-03-21 12:58 | 1 |
README | 2.6 KB | 2013-03-21 12:58 | 1 |
Lurch-0.799.dmg | 20.4 MB | 2013-03-21 12:58 | 10 |
install-lurch-0.799-ubuntu | 10.5 KB | 2013-03-21 12:58 | 3 |
Lurch-0.799-Setup.exe | 17.0 MB | 2013-03-21 12:58 | 4 |
0.798 | |||
release-notes.txt | 2.2 KB | 2013-03-06 01:11 | 1 |
README | 2.2 KB | 2013-03-06 01:11 | 1 |
Lurch-0.798.dmg | 20.4 MB | 2013-03-06 01:11 | 2 |
Lurch-0.798-Setup.exe | 17.0 MB | 2013-03-06 01:11 | 3 |
install-lurch-0.798-ubuntu | 10.5 KB | 2013-03-06 01:11 | 6 |
0.797 | |||
release-notes.txt | 2.5 KB | 2013-03-04 12:29 | 0 |
README | 2.5 KB | 2013-03-04 12:29 | 1 |
Lurch-0.797.dmg | 20.4 MB | 2013-03-04 12:29 | 2 |
install-lurch-0.797-ubuntu | 10.5 KB | 2013-03-04 12:28 | 9 |
Lurch-0.797-Setup.exe | 17.0 MB | 2013-03-04 12:28 | 2 |
0.796 | |||
release-notes.txt | 2.6 KB | 2013-02-23 14:01 | 0 |
Lurch-0.796.dmg | 20.4 MB | 2013-02-23 14:01 | 1 |
README | 2.6 KB | 2013-02-23 14:01 | 3 |
install-lurch-0.796-ubuntu | 10.5 KB | 2013-02-23 14:01 | 16 |
Lurch-0.796-Setup.exe | 16.9 MB | 2013-02-23 14:01 | 2 |
0.795 | |||
README | 2.1 KB | 2013-02-15 05:44 | 0 |
Lurch-0.795.dmg | 20.3 MB | 2013-02-15 05:44 | 3 |
release-notes.txt | 2.1 KB | 2013-02-15 05:44 | 0 |
install-lurch-0.795-ubuntu | 10.5 KB | 2013-02-15 05:44 | 4 |
Lurch-0.795-Setup.exe | 16.9 MB | 2013-02-15 05:44 | 1 |
0.79 | |||
release-notes.txt | 2.5 KB | 2013-02-05 13:28 | 0 |
README | 2.5 KB | 2013-02-05 13:28 | 0 |
install-lurch-0.79-ubuntu | 10.5 KB | 2013-02-05 13:28 | 44 |
Lurch-0.79.dmg | 20.7 MB | 2013-02-05 13:28 | 3 |
Lurch-0.79-Setup.exe | 17.3 MB | 2013-02-05 13:27 | 4 |
0.78 | |||
release-notes.txt | 2.7 KB | 2013-01-22 07:09 | 0 |
README | 2.7 KB | 2013-01-22 07:09 | 2 |
Lurch-0.78.dmg | 23.2 MB | 2013-01-22 07:09 | 5 |
Lurch-0.78-Setup.exe | 17.3 MB | 2013-01-22 07:09 | 2 |
install-lurch-0.78-ubuntu | 10.5 KB | 2013-01-22 07:09 | 5 |
0.77 | |||
install-lurch-0.77-ubuntu | 10.5 KB | 2013-01-19 17:03 | 9 |
release-notes.txt | 2.2 KB | 2013-01-12 07:18 | 0 |
README | 2.2 KB | 2013-01-12 07:18 | 2 |
Lurch-0.77.dmg | 24.3 MB | 2013-01-12 07:18 | 4 |
Lurch-0.77-Setup.exe | 18.2 MB | 2013-01-12 07:17 | 2 |
0.76 | |||
README | 2.1 KB | 2013-01-09 00:14 | 1 |
release-notes.txt | 2.1 KB | 2013-01-09 00:12 | 2 |
Lurch-0.76.dmg | 24.3 MB | 2013-01-09 00:12 | 5 |
Lurch-0.76-Setup.exe | 18.2 MB | 2013-01-09 00:12 | 4 |
install-lurch-0.76-ubuntu | 10.1 KB | 2013-01-09 00:11 | 2 |
0.75 | |||
install-lurch-0.75.sh | 18.4 KB | 2012-07-01 11:55 | 2 |
Lurch-0.75.dmg | 24.2 MB | 2012-07-01 06:01 | 3 |
Lurch-0.75-Setup.exe | 18.1 MB | 2012-07-01 06:00 | 4 |
release-notes.txt | 1.6 KB | 2012-07-01 05:57 | 1 |
Toy Proofs | |||
README | 0.6 KB | 2013-02-05 00:07 | 3 |
0.1 | |||
install-toy-proofs-0.1-linux.sh | 12.9 KB | 2009-05-02 01:57 | 5 |
ToyProofs-0.1-Setup-Windows.exe | 12.6 MB | 2009-05-02 01:57 | 1 |
ToyProofs-0.1-Mac.dmg | 30.4 MB | 2009-05-02 01:57 | 2 |
Lurch Lite | |||
0.4 | |||
release-notes.txt | 2.1 KB | 2010-09-22 11:57 | 2 |
LurchLite-0.4-Setup.exe | 18.4 MB | 2010-09-22 11:56 | 3 |
install-lurch-lite-0.4.sh | 18.5 KB | 2010-09-22 11:55 | 2 |
LurchLite-0.4.dmg | 46.4 MB | 2010-09-22 11:47 | 3 |
0.35 | |||
LurchLite-0.35-Setup.exe | 15.6 MB | 2010-08-06 02:53 | 3 |
LurchLite-0.35.dmg | 41.3 MB | 2010-08-06 02:50 | 2 |
install-lurch-lite-0.35.sh | 18.5 KB | 2010-08-06 02:38 | 3 |
release-notes.txt | 5.5 KB | 2010-08-04 04:46 | 3 |
0.3 | |||
release-notes.txt | 4.1 KB | 2010-04-15 13:30 | 0 |
LurchLite-0.3.dmg | 40.6 MB | 2010-04-15 13:28 | 1 |
install-lurch-lite-0.3.sh | 14.3 KB | 2010-04-15 13:28 | 1 |
LurchLite-0.3-Setup.exe | 15.1 MB | 2010-04-15 13:26 | 2 |
0.25 | |||
LurchLite-0.25.dmg | 30.5 MB | 2010-01-17 09:28 | 2 |
LurchLite-0.25-Setup.exe | 14.2 MB | 2010-01-17 09:28 | 1 |
release-notes.txt | 1.2 KB | 2010-01-17 09:27 | 1 |
install-lurch-lite-0.25.sh | 14.3 KB | 2010-01-17 09:27 | 2 |
0.2 | |||
LurchLite-0.2-Setup.exe | 13.9 MB | 2009-12-30 10:42 | 2 |
release-notes.txt | 3.1 KB | 2009-12-30 10:41 | 2 |
LurchLite-0.2.dmg | 30.1 MB | 2009-12-30 10:40 | 1 |
install-lurch-lite-0.2.sh | 14.3 KB | 2009-12-30 10:39 | 10 |
0.1 | |||
release-notes.txt | 0.7 KB | 2009-12-09 11:13 | 5 |
install-lurch-lite-0.1.sh | 12.9 KB | 2009-03-21 02:07 | 7 |
LurchLite-0.1-Setup.exe | 12.9 MB | 2009-03-21 02:07 | 3 |
LurchLite-0.1.dmg | 31.0 MB | 2009-03-21 02:07 | 3 |
OldFiles | |||
install-toy-proofs-0.1.sh | 12.9 KB | 2009-03-21 02:08 | 5 |
ToyProofs-0.1-Setup.exe | 12.6 MB | 2009-03-21 02:08 | 4 |
ToyProofs-0.1.dmg | 30.4 MB | 2009-03-21 02:08 | 3 |