| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| qedeq_0.01.07_win.zip | 2005-09-06 | 4.4 MB | |
| qedeq_0.01.07_unx.tar.bz2 | 2005-09-06 | 2.8 MB | |
| Totals: 2 Items | 7.2 MB | 0 | |
Hilbert II - QEDEQ Files
proof verifier for mathematical proofs and documentation generator
Status: Beta
Brought to you by:
m31