|
Up
|
|
|
|
|
4ti2/
|
— |
|
|
|
abc/
|
— |
|
|
|
acl2/
|
— |
|
|
|
alectryon/
|
— |
|
|
|
alt-ergo/
|
— |
|
|
|
arb/
|
— |
|
|
|
bertini/
|
— |
|
|
|
boolector/
|
— |
|
|
|
btor2tools/
|
— |
|
|
|
cadabra/
|
— |
|
|
|
cadical/
|
— |
|
|
|
calc/
|
— |
|
|
|
cgal/
|
— |
|
|
|
clipper2/
|
— |
|
|
|
cliquer/
|
— |
|
|
|
coq-mathcomp/
|
— |
|
|
|
coq-serapi/
|
— |
|
|
|
coq/
|
— |
|
|
|
cryptominisat/
|
— |
|
|
|
cubicle/
|
— |
|
|
|
cudd/
|
— |
|
|
|
cvc4/
|
— |
|
|
|
dataplot/
|
— |
|
|
|
diagrtb/
|
— |
|
|
|
dsfmt/
|
— |
|
|
|
dunshire/
|
— |
|
|
|
easycrypt/
|
— |
|
|
|
eclib/
|
— |
|
|
|
ent/
|
— |
|
|
|
eprover/
|
— |
|
|
|
euler/
|
— |
|
|
|
fann/
|
— |
|
|
|
flint/
|
— |
|
|
|
flocq/
|
— |
|
|
|
form/
|
— |
|
|
|
fricas/
|
— |
|
|
|
frobby/
|
— |
|
|
|
gap/
|
— |
|
|
|
gappa/
|
— |
|
|
|
gappalib-coq/
|
— |
|
|
|
genius/
|
— |
|
|
|
geogebra-bin/
|
— |
|
|
|
geomview/
|
— |
|
|
|
gfan/
|
— |
|
|
|
giac/
|
— |
|
|
|
gimps/
|
— |
|
|
|
ginac/
|
— |
|
|
|
glpk/
|
— |
|
|
|
gmm/
|
— |
|
|
|
gmp-ecm/
|
— |
|
|
|
gp2c/
|
— |
|
|
|
gretl/
|
— |
|
|
|
gsl-shell/
|
— |
|
|
|
jags/
|
— |
|
|
|
kind2/
|
— |
|
|
|
kissat/
|
— |
|
|
|
lcalc/
|
— |
|
|
|
lean/
|
— |
|
|
|
libpoly/
|
— |
|
|
|
lpsolve/
|
— |
|
|
|
lrcalc/
|
— |
|
|
|
manifold/
|
— |
|
|
|
mathematica/
|
— |
|
|
|
mathlib-tools/
|
— |
|
|
|
mathmod/
|
— |
|
|
|
mathomatic/
|
— |
|
|
|
maxima/
|
— |
|
|
|
metamath-databases/
|
— |
|
|
|
metamath/
|
— |
|
|
|
minisat/
|
— |
|
|
|
msieve/
|
— |
|
|
|
nauty/
|
— |
|
|
|
nestedsums/
|
— |
|
|
|
normaliz/
|
— |
|
|
|
num-utils/
|
— |
|
|
|
octave-epstk/
|
— |
|
|
|
octave/
|
— |
|
|
|
opensmt/
|
— |
|
|
|
otter/
|
— |
|
|
|
palp/
|
— |
|
|
|
pari-data/
|
— |
|
|
|
pari/
|
— |
|
|
|
petsc/
|
— |
|
|
|
picosat/
|
— |
|
|
|
planarity/
|
— |
|
|
|
plfit/
|
— |
|
|
|
polymake/
|
— |
|
|
|
primecount/
|
— |
|
|
|
primesieve/
|
— |
|
|
|
prng/
|
— |
|
|
|
prover9/
|
— |
|
|
|
proverif/
|
— |
|
|
|
psmt2-frontend/
|
— |
|
|
|
pspp/
|
— |
|
|
|
rkward/
|
— |
|
|
|
rngstreams/
|
— |
|
|
|
rw/
|
— |
|
|
|
sha1-polyml/
|
— |
|
|
|
singular/
|
— |
|
|
|
slepc/
|
— |
|
|
|
smtinterpol/
|
— |
|
|
|
spin/
|
— |
|
|
|
stp/
|
— |
|
|
|
sympow/
|
— |
|
|
|
topcom/
|
— |
|
|
|
twelf/
|
— |
|
|
|
unuran/
|
— |
|
|
|
vampire/
|
— |
|
|
|
verifpal/
|
— |
|
|
|
verit/
|
— |
|
|
|
why3-for-spark/
|
— |
|
|
|
why3/
|
— |
|
|
|
wxmaxima/
|
— |
|
|
|
yacas/
|
— |
|
|
|
yafu/
|
— |
|
|
|
yices2/
|
— |
|
|
|
z3/
|
— |
|
|
|
Manifest.gz
|
|
|
|
|
metadata.xml
|
|
|
|