|
|
|
740.41 KB 2006-05-08otter_3.3f-1_i386.deb info browse 178 mirrors
otter - resolution-style theorem prover
/Main/Ubuntu/i386/math/
760.59 KB 2006-05-08otter_3.3f-1_amd64.deb info browse 173 mirrors
otter - resolution-style theorem prover
/Main/Ubuntu/amd64/math/
488.87 KB 2006-05-08mace2_3.3f-1_i386.deb 177 mirrors
532.25 KB 2006-05-08mace2_3.3f-1_amd64.deb 172 mirrors
151.52 KB 2006-05-08formed_3.3f-1_i386.deb info browse 178 mirrors
formed - formula editor for first-order logic formulae
/Main/Ubuntu/i386/math/
174.70 KB 2006-05-08formed_3.3f-1_amd64.deb info browse 173 mirrors
formed - formula editor for first-order logic formulae
/Main/Ubuntu/amd64/math/
| Results 1 - 6 |