Télécharger la liste

Description du projet

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Système requise

Système d'exploitation: OS Independent

Télécharger la liste des paquets

Latest 5 files
Nom Taille Date Télécharger compter
readme.txt 2.8 KB 2013-05-25 02:34 1
qedeq_0.04.07_dev_win.zip 88.6 MB 2013-05-25 02:22 7
qedeq_0.04.07_dev_unx.tar.bz2 62.9 MB 2013-05-25 02:06 9
qedeq_0.04.07_win.zip 8.1 MB 2013-05-25 01:47 9
qedeq_0.04.07_unx.tar.bz2 7.5 MB 2013-05-25 01:39 5
All Files
QEDEQ main unstable
0.04.07
readme.txt2.8 KB2013-05-25 02:341
qedeq_0.04.07_dev_win.zip88.6 MB2013-05-25 02:227
qedeq_0.04.07_dev_unx.tar.bz262.9 MB2013-05-25 02:069
qedeq_0.04.07_win.zip8.1 MB2013-05-25 01:479
qedeq_0.04.07_unx.tar.bz27.5 MB2013-05-25 01:395
0.04.06
readme.txt2.7 KB2013-04-10 18:240
qedeq_0.04.06_unx.tar.bz27.4 MB2013-04-10 15:262
qedeq_0.04.06_dev_win.zip87.7 MB2013-04-10 15:265
qedeq_0.04.06_dev_unx.tar.bz262.6 MB2013-04-10 15:243
qedeq_0.04.06_win.zip8.0 MB2013-04-10 15:226
0.04.05
qedeq_0.04.05_win.zip7.9 MB2013-02-11 03:285
qedeq_0.04.05_unx.tar.bz27.4 MB2013-02-11 03:143
qedeq_0.04.05_dev_win.zip70.3 MB2013-02-11 03:135
readme.txt2.6 KB2013-02-11 03:110
qedeq_0.04.05_dev_unx.tar.bz247.7 MB2013-02-11 03:044
0.04.04
qedeq_0.04.04_win.zip7.9 MB2011-07-30 21:445
qedeq_0.04.04_unx.tar.bz27.3 MB2011-07-30 21:397
qedeq_0.04.04_dev_win.zip70.7 MB2011-07-30 21:227
qedeq_0.04.04_dev_unx.tar.bz248.8 MB2011-07-30 21:094
readme.txt2.7 KB2011-07-30 19:510
0.04.03
qedeq_0.04.03_dev_win.zip69.9 MB2011-06-14 06:071
readme.txt2.8 KB2011-06-14 05:550
qedeq_0.04.03_win.zip7.7 MB2011-06-14 05:536
qedeq_0.04.03_unx.tar.bz27.2 MB2011-06-14 05:504
qedeq_0.04.03_dev_unx.tar.bz248.4 MB2011-06-14 05:273
0.04.02
readme.txt2.0 KB2011-05-02 07:050
qedeq_0.04.02_dev_win.zip68.6 MB2011-05-02 02:424
qedeq_0.04.02_unx.tar.bz26.9 MB2011-05-02 02:204
qedeq_0.04.02_win.zip7.4 MB2011-05-02 02:202
qedeq_0.04.02_dev_unx.tar.bz247.7 MB2011-05-02 01:315
0.04.01
readme.txt1.8 KB2011-03-05 10:400
qedeq_0.04.01_unx.tar.bz26.7 MB2011-03-05 10:393
qedeq_0.04.01_win.zip7.1 MB2011-03-05 10:366
qedeq_0.04.01_dev_win.zip62.9 MB2011-03-05 10:344
qedeq_0.04.01_dev_unx.tar.bz245.6 MB2011-03-05 10:245
0.04.00
qedeq_0.04.00_win.zip7.0 MB2010-12-29 09:516
qedeq_0.04.00_unx.tar.bz26.5 MB2010-12-29 09:452
qedeq_0.04.00_dev_win.zip59.8 MB2010-12-29 09:403
qedeq_0.04.00_dev_unx.tar.bz244.4 MB2010-12-29 09:295
readme.txt1.6 KB2010-12-29 09:040
0.03.12
release.txt1.5 KB2010-09-19 17:000
qedeq_0.03.12_dev_unx.tar.bz238.4 MB2010-09-19 16:235
qedeq_0.03.12_unx.tar.bz25.2 MB2010-09-19 16:174
qedeq_0.03.12_dev_win.zip49.0 MB2010-09-19 16:153
qedeq_0.03.12_win.zip5.5 MB2010-09-19 15:538
0.03.11
qedeq_0.03.11_unx.tar.bz229.4 MB2008-08-02 20:072
qedeq_0.03.11_win.zip38.5 MB2008-08-02 20:014
0.03.10
qedeq_0.03.10_win.zip8.7 MB2008-05-17 15:023
qedeq_0.03.10_unx.tar.bz24.9 MB2008-05-17 15:016
0.03.09
qedeq_0.03.09_unx.tar.bz24.8 MB2008-03-31 09:044
qedeq_0.03.09_win.zip8.6 MB2008-03-31 09:007
0.03.08
qedeq_0.03.08_win.zip8.4 MB2008-01-28 10:0010
qedeq_0.03.08_unx.tar.bz24.8 MB2008-01-28 09:564
0.03.07
qedeq_0.03.07_unx.tar.bz24.7 MB2007-12-22 10:482
qedeq_0.03.07_win.zip8.3 MB2007-12-22 10:459
0.03.06
qedeq_0.03.06_win.zip8.2 MB2007-10-14 16:453
qedeq_0.03.06_unx.tar.bz24.8 MB2007-10-14 16:405
0.03.05
qedeq_0.03.05_win.zip8.0 MB2007-09-02 10:517
qedeq_0.03.05_unx.tar.bz24.7 MB2007-09-02 10:473
0.03.04
qedeq_0.03.04_win.zip6.8 MB2007-05-10 11:195
qedeq_0.03.04_unx.tar.bz24.2 MB2007-05-10 11:135
0.03.03
qedeq_0.03.03_win.zip6.4 MB2007-03-12 08:006
qedeq_0.03.03_unx.tar.bz24.1 MB2007-03-12 07:565
0.03.01
qedeq_0_03_01_win.zip6.2 MB2007-02-26 09:592
qedeq_0.03.01_unx.tar.bz24.0 MB2007-01-15 11:192
0.03.02
qedeq_0.03.02_unx.tar.bz24.1 MB2007-02-26 09:165
qedeq_0.03.02_win.zip6.3 MB2007-02-26 09:067
0.02.01
qedeq_0.02.01_win.zip6.0 MB2006-10-22 14:328
qedeq_0.02.01_unx.tar.bz23.8 MB2006-10-22 14:286
0.01.09
qedeq_0.01.09_win.zip4.7 MB2005-12-30 03:424
qedeq_0.01.09_unx.tar.bz23.0 MB2005-12-30 03:402
0.01.08
qedeq_0.01.08_win.zip4.5 MB2005-10-19 02:366
qedeq_0.01.08_unx.tar.bz23.0 MB2005-10-19 02:333
0.01.07
qedeq_0.01.07_win.zip4.3 MB2005-09-07 00:406
qedeq_0.01.07_unx.tar.bz22.7 MB2005-09-07 00:374
0.01.06
qedeq_0.01.06_win.zip2.7 MB2005-03-09 14:462
qedeq_0.01.06_unx.tar.bz21.8 MB2005-03-09 14:452
QEDEQ prototype (pmii)
0.00.53
principia_0.00.53.tar.bz21.0 MB2004-09-27 07:023
principia_0.00.53.zip2.1 MB2004-09-27 07:012
0.00.52
principia_0.00.52_src.zip1.9 MB2003-07-01 04:475
0.00.51
principia_0.00.51_src.zip1.4 MB2002-07-15 06:092
0.00.50
principia.0.00.50.zip1.3 MB2002-01-27 09:393
0.00.49
principia.0.00.49.src.jar171.0 KB2001-10-22 06:533
0.00.47
principia.0.00.47.src.jar297.8 KB2001-09-08 09:089
principia.0.00.47.jar190.7 KB2001-09-08 09:0310
0.00.46
principia.0.00.46.src.zip166.2 KB2001-08-20 03:532
0.00.45
principia.src.zip171.8 KB2001-08-19 08:277