4ti2 | 155.00b | January 26 2020 at 10:09 |
Macaulay2 | 90.00b | January 12 2020 at 10:09 |
Manifest.gz | 12.69Kb | January 26 2020 at 00:41 |
agda | 141.00b | January 26 2020 at 10:09 |
agda-lib-ffi | 111.00b | January 26 2020 at 10:09 |
agda-stdlib | 126.00b | January 26 2020 at 10:09 |
alt-ergo | 99.00b | January 26 2020 at 10:09 |
arb | 108.00b | January 26 2020 at 10:09 |
axiom | 82.00b | January 26 2020 at 10:09 |
bertini | 68.00b | January 26 2020 at 10:09 |
calc | 115.00b | January 26 2020 at 10:09 |
cgal | 154.00b | January 26 2020 at 10:09 |
coq | 193.00b | January 26 2020 at 10:09 |
cvc3 | 83.00b | September 14 2019 at 09:09 |
cvc4 | 101.00b | January 26 2020 at 10:09 |
dataplot | 119.00b | January 26 2020 at 10:09 |
diagrtb | 82.00b | January 26 2020 at 10:09 |
drgeo | 84.00b | September 1 2019 at 09:09 |
dunshire | 71.00b | January 26 2020 at 10:09 |
e | 138.00b | September 14 2019 at 09:09 |
eclib | 71.00b | January 26 2020 at 10:09 |
ent | 80.00b | January 26 2020 at 10:09 |
euler | 82.00b | January 26 2020 at 10:09 |
factmsieve | 86.00b | January 12 2020 at 10:09 |
fann | 107.00b | January 26 2020 at 10:09 |
flint | 136.00b | January 26 2020 at 10:09 |
form | 90.00b | January 26 2020 at 10:09 |
fricas | 109.00b | January 26 2020 at 10:09 |
frobby | 85.00b | January 26 2020 at 10:09 |
genius | 111.00b | January 26 2020 at 10:09 |