Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
qedeq_0.03.06_win.zip | 2007-10-14 | 8.4 MB | |
qedeq_0.03.06_unx.tar.bz2 | 2007-10-14 | 4.9 MB | |
Totals: 2 Items | 13.3 MB | 0 |
Hilbert II - QEDEQ Files
proof verifier for mathematical proofs and documentation generator
Status: Beta
Brought to you by:
m31