|
|
|
743.72 KB 2006-01-03otter_3.3f-1_i386.deb info browse 280+ mirrors
otter - resolution-style theorem prover
/Main/Debian/i386/math/
747.08 KB 2007-02-07otter_3.3f-1_armel.deb info browse 217+ mirrors
otter - resolution-style theorem prover
/Main/Debian/armel/math/
496.39 KB 2006-01-03mace2_3.3f-1_i386.deb 279+ mirrors
503.51 KB 2007-02-07mace2_3.3f-1_armel.deb 216+ mirrors
153.67 KB 2006-01-03formed_3.3f-1_i386.deb info browse 280+ mirrors
formed - formula editor for first-order logic formulae
/Main/Debian/i386/math/
159.18 KB 2007-02-07formed_3.3f-1_armel.deb info browse 217+ mirrors
formed - formula editor for first-order logic formulae
/Main/Debian/armel/math/
| Results 1 - 6 |