Download List

Descripción del Proyecto

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.

System Requirements

Sistema Operativo: MacOSX, POSIX (Linux,BSD,Solaris etc..), Windows XP

Download Package list

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.txt2.2 KB2014-10-11 03:042
README2.2 KB2014-10-11 03:047
Installation Instructions - linux.txt2.5 KB2014-10-11 02:595
Lurch-0.8.dmg32.2 MB2014-04-04 21:316
Lurch-0.8-Setup.exe47.5 MB2014-04-03 15:4526
0.7992
install-lurch-0.7992-ubuntu10.9 KB2013-07-11 08:179
release-notes.txt2.1 KB2013-05-09 15:070
README2.1 KB2013-05-09 15:070
Lurch-0.7992.dmg20.4 MB2013-05-09 15:073
Lurch-0.7992-Setup.exe17.0 MB2013-05-09 15:0611
0.7991
release-notes.txt3.4 KB2013-04-11 13:500
README3.4 KB2013-04-11 13:500
Lurch-0.7991.dmg20.4 MB2013-04-11 13:491
Lurch-0.7991-Setup.exe17.0 MB2013-04-11 13:482
install-lurch-0.7991-ubuntu10.5 KB2013-04-11 13:486
0.799
release-notes.txt2.6 KB2013-03-21 12:581
README2.6 KB2013-03-21 12:581
Lurch-0.799.dmg20.4 MB2013-03-21 12:5810
install-lurch-0.799-ubuntu10.5 KB2013-03-21 12:583
Lurch-0.799-Setup.exe17.0 MB2013-03-21 12:584
0.798
release-notes.txt2.2 KB2013-03-06 01:111
README2.2 KB2013-03-06 01:111
Lurch-0.798.dmg20.4 MB2013-03-06 01:112
Lurch-0.798-Setup.exe17.0 MB2013-03-06 01:113
install-lurch-0.798-ubuntu10.5 KB2013-03-06 01:116
0.797
release-notes.txt2.5 KB2013-03-04 12:290
README2.5 KB2013-03-04 12:291
Lurch-0.797.dmg20.4 MB2013-03-04 12:292
install-lurch-0.797-ubuntu10.5 KB2013-03-04 12:289
Lurch-0.797-Setup.exe17.0 MB2013-03-04 12:282
0.796
release-notes.txt2.6 KB2013-02-23 14:010
Lurch-0.796.dmg20.4 MB2013-02-23 14:011
README2.6 KB2013-02-23 14:013
install-lurch-0.796-ubuntu10.5 KB2013-02-23 14:0116
Lurch-0.796-Setup.exe16.9 MB2013-02-23 14:012
0.795
README2.1 KB2013-02-15 05:440
Lurch-0.795.dmg20.3 MB2013-02-15 05:443
release-notes.txt2.1 KB2013-02-15 05:440
install-lurch-0.795-ubuntu10.5 KB2013-02-15 05:444
Lurch-0.795-Setup.exe16.9 MB2013-02-15 05:441
0.79
release-notes.txt2.5 KB2013-02-05 13:280
README2.5 KB2013-02-05 13:280
install-lurch-0.79-ubuntu10.5 KB2013-02-05 13:2844
Lurch-0.79.dmg20.7 MB2013-02-05 13:283
Lurch-0.79-Setup.exe17.3 MB2013-02-05 13:274
0.78
release-notes.txt2.7 KB2013-01-22 07:090
README2.7 KB2013-01-22 07:092
Lurch-0.78.dmg23.2 MB2013-01-22 07:095
Lurch-0.78-Setup.exe17.3 MB2013-01-22 07:092
install-lurch-0.78-ubuntu10.5 KB2013-01-22 07:095
0.77
install-lurch-0.77-ubuntu10.5 KB2013-01-19 17:039
release-notes.txt2.2 KB2013-01-12 07:180
README2.2 KB2013-01-12 07:182
Lurch-0.77.dmg24.3 MB2013-01-12 07:184
Lurch-0.77-Setup.exe18.2 MB2013-01-12 07:172
0.76
README2.1 KB2013-01-09 00:141
release-notes.txt2.1 KB2013-01-09 00:122
Lurch-0.76.dmg24.3 MB2013-01-09 00:125
Lurch-0.76-Setup.exe18.2 MB2013-01-09 00:124
install-lurch-0.76-ubuntu10.1 KB2013-01-09 00:112
0.75
install-lurch-0.75.sh18.4 KB2012-07-01 11:552
Lurch-0.75.dmg24.2 MB2012-07-01 06:013
Lurch-0.75-Setup.exe18.1 MB2012-07-01 06:004
release-notes.txt1.6 KB2012-07-01 05:571
Toy Proofs
README0.6 KB2013-02-05 00:073
0.1
install-toy-proofs-0.1-linux.sh12.9 KB2009-05-02 01:575
ToyProofs-0.1-Setup-Windows.exe12.6 MB2009-05-02 01:571
ToyProofs-0.1-Mac.dmg30.4 MB2009-05-02 01:572
Lurch Lite
0.4
release-notes.txt2.1 KB2010-09-22 11:572
LurchLite-0.4-Setup.exe18.4 MB2010-09-22 11:563
install-lurch-lite-0.4.sh18.5 KB2010-09-22 11:552
LurchLite-0.4.dmg46.4 MB2010-09-22 11:473
0.35
LurchLite-0.35-Setup.exe15.6 MB2010-08-06 02:533
LurchLite-0.35.dmg41.3 MB2010-08-06 02:502
install-lurch-lite-0.35.sh18.5 KB2010-08-06 02:383
release-notes.txt5.5 KB2010-08-04 04:463
0.3
release-notes.txt4.1 KB2010-04-15 13:300
LurchLite-0.3.dmg40.6 MB2010-04-15 13:281
install-lurch-lite-0.3.sh14.3 KB2010-04-15 13:281
LurchLite-0.3-Setup.exe15.1 MB2010-04-15 13:262
0.25
LurchLite-0.25.dmg30.5 MB2010-01-17 09:282
LurchLite-0.25-Setup.exe14.2 MB2010-01-17 09:281
release-notes.txt1.2 KB2010-01-17 09:271
install-lurch-lite-0.25.sh14.3 KB2010-01-17 09:272
0.2
LurchLite-0.2-Setup.exe13.9 MB2009-12-30 10:422
release-notes.txt3.1 KB2009-12-30 10:412
LurchLite-0.2.dmg30.1 MB2009-12-30 10:401
install-lurch-lite-0.2.sh14.3 KB2009-12-30 10:3910
0.1
release-notes.txt0.7 KB2009-12-09 11:135
install-lurch-lite-0.1.sh12.9 KB2009-03-21 02:077
LurchLite-0.1-Setup.exe12.9 MB2009-03-21 02:073
LurchLite-0.1.dmg31.0 MB2009-03-21 02:073
OldFiles
install-toy-proofs-0.1.sh12.9 KB2009-03-21 02:085
ToyProofs-0.1-Setup.exe12.6 MB2009-03-21 02:084
ToyProofs-0.1.dmg30.4 MB2009-03-21 02:083