Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
4ti2/ | 2023-06-09 18:14 | - | ||
Manifest.gz | 2024-11-24 16:11 | 19K | ||
abc/ | 2023-03-13 23:40 | - | ||
acl2/ | 2024-03-08 14:13 | - | ||
alectryon/ | 2024-04-29 22:35 | - | ||
alt-ergo/ | 2024-07-17 19:55 | - | ||
arb/ | 2023-11-25 07:11 | - | ||
bertini/ | 2024-01-08 14:58 | - | ||
boolector/ | 2024-09-30 21:16 | - | ||
btor2tools/ | 2023-11-03 00:12 | - | ||
cadabra/ | 2024-11-11 06:07 | - | ||
cadical/ | 2024-06-28 02:00 | - | ||
calc/ | 2022-08-31 00:39 | - | ||
cgal/ | 2024-11-23 23:07 | - | ||
clipper2/ | 2024-11-16 23:37 | - | ||
cliquer/ | 2023-11-23 00:13 | - | ||
coq-mathcomp/ | 2024-03-04 23:50 | - | ||
coq-serapi/ | 2024-11-19 21:38 | - | ||
coq/ | 2024-11-19 21:38 | - | ||
cryptominisat/ | 2024-06-13 03:51 | - | ||
cubicle/ | 2024-06-04 21:25 | - | ||
cudd/ | 2022-12-18 23:40 | - | ||
cvc4/ | 2024-10-17 18:07 | - | ||
dataplot/ | 2022-10-20 06:41 | - | ||
diagrtb/ | 2022-10-20 06:41 | - | ||
dsfmt/ | 2022-07-11 13:40 | - | ||
dunshire/ | 2024-09-10 04:41 | - | ||
easycrypt/ | 2024-10-06 23:15 | - | ||
eclib/ | 2024-11-15 01:08 | - | ||
ent/ | 2023-06-09 18:14 | - | ||
eprover/ | 2024-02-19 23:19 | - | ||
euler/ | 2024-04-30 21:37 | - | ||
fann/ | 2024-04-30 21:37 | - | ||
flint/ | 2024-10-14 16:08 | - | ||
flocq/ | 2023-04-11 17:11 | - | ||
form/ | 2024-01-12 16:53 | - | ||
fricas/ | 2024-09-23 08:44 | - | ||
frobby/ | 2023-06-09 18:14 | - | ||
gap/ | 2024-11-24 17:13 | - | ||
gappa/ | 2024-01-15 23:11 | - | ||
gappalib-coq/ | 2023-04-10 21:41 | - | ||
genius/ | 2024-01-15 18:16 | - | ||
geogebra-bin/ | 2024-01-10 15:44 | - | ||
geomview/ | 2024-04-30 21:37 | - | ||
gfan/ | 2024-10-05 22:10 | - | ||
giac/ | 2024-09-20 19:23 | - | ||
gimps/ | 2024-08-31 08:12 | - | ||
ginac/ | 2024-05-31 02:45 | - | ||
glpk/ | 2024-11-20 06:07 | - | ||
gmm/ | 2024-10-26 01:07 | - | ||
gmp-ecm/ | 2023-11-24 17:40 | - | ||
gp2c/ | 2022-07-11 13:40 | - | ||
gretl/ | 2024-04-30 21:37 | - | ||
gsl-shell/ | 2024-08-26 02:42 | - | ||
jags/ | 2024-11-16 00:07 | - | ||
kind2/ | 2023-06-03 19:42 | - | ||
kissat/ | 2023-10-11 03:13 | - | ||
lcalc/ | 2024-08-27 04:14 | - | ||
lean/ | 2024-09-20 00:41 | - | ||
libpoly/ | 2024-07-31 12:52 | - | ||
lpsolve/ | 2024-04-30 21:37 | - | ||
lrcalc/ | 2024-08-20 23:45 | - | ||
manifold/ | 2024-11-16 23:37 | - | ||
mathematica/ | 2024-11-13 17:37 | - | ||
mathlib-tools/ | 2024-11-23 15:09 | - | ||
mathmod/ | 2024-08-26 02:42 | - | ||
mathomatic/ | 2023-06-09 18:14 | - | ||
maxima/ | 2024-09-02 01:02 | - | ||
metadata.xml | 2021-09-11 15:40 | 1.3K | ||
metamath-databases/ | 2023-03-05 23:42 | - | ||
metamath/ | 2022-07-11 13:40 | - | ||
minisat/ | 2023-02-06 19:13 | - | ||
msieve/ | 2024-04-30 21:38 | - | ||
nauty/ | 2024-07-15 01:50 | - | ||
nestedsums/ | 2024-01-12 16:53 | - | ||
normaliz/ | 2023-12-16 18:12 | - | ||
num-utils/ | 2023-06-09 18:14 | - | ||
octave-epstk/ | 2022-07-11 13:40 | - | ||
octave/ | 2024-08-30 00:56 | - | ||
opensmt/ | 2024-02-19 17:35 | - | ||
otter/ | 2023-06-09 18:14 | - | ||
palp/ | 2024-08-20 17:18 | - | ||
pari-data/ | 2024-08-19 15:46 | - | ||
pari/ | 2024-08-19 15:46 | - | ||
petsc/ | 2024-07-23 06:48 | - | ||
picosat/ | 2023-01-28 02:11 | - | ||
planarity/ | 2024-08-23 18:17 | - | ||
plfit/ | 2024-03-09 15:50 | - | ||
polymake/ | 2024-11-23 16:07 | - | ||
primecount/ | 2024-08-20 17:18 | - | ||
primesieve/ | 2024-08-20 17:18 | - | ||
prng/ | 2023-06-09 18:14 | - | ||
prover9/ | 2024-02-14 18:52 | - | ||
proverif/ | 2024-05-24 01:14 | - | ||
psmt2-frontend/ | 2024-03-16 14:45 | - | ||
pspp/ | 2024-07-31 12:52 | - | ||
rkward/ | 2024-09-07 20:10 | - | ||
rngstreams/ | 2023-06-09 18:14 | - | ||
rw/ | 2024-09-21 07:32 | - | ||
sha1-polyml/ | 2024-02-14 12:36 | - | ||
singular/ | 2024-10-05 07:18 | - | ||
slepc/ | 2024-07-04 04:15 | - | ||
smtinterpol/ | 2024-10-17 18:07 | - | ||
spin/ | 2024-06-28 14:52 | - | ||
stp/ | 2024-11-22 23:07 | - | ||
sympow/ | 2024-11-04 04:38 | - | ||
topcom/ | 2024-05-16 01:41 | - | ||
twelf/ | 2024-09-10 04:41 | - | ||
unuran/ | 2023-06-09 19:49 | - | ||
vampire/ | 2024-09-30 21:16 | - | ||
verifpal/ | 2023-08-13 22:12 | - | ||
verit/ | 2022-07-11 13:40 | - | ||
why3-for-spark/ | 2023-12-30 00:41 | - | ||
why3/ | 2024-11-20 23:37 | - | ||
wxmaxima/ | 2024-11-02 10:07 | - | ||
yacas/ | 2023-08-16 23:15 | - | ||
yafu/ | 2024-04-30 21:38 | - | ||
yices2/ | 2023-01-14 04:39 | - | ||
z3/ | 2024-10-19 12:49 | - | ||