| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| qedeq_0.03.02_unx.tar.bz2 | 2007-02-26 | 4.2 MB | |
| qedeq_0.03.02_win.zip | 2007-02-26 | 6.5 MB | |
| Totals: 2 Items | 10.6 MB | 0 | |
Hilbert II - QEDEQ Files
proof verifier for mathematical proofs and documentation generator
Status: Beta
Brought to you by:
m31