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