All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.
For information about dotsrc.org and our other services please go to our website.
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
4ti2/ | - | 2024-12-23 04:12:07 |
abc/ | - | 2024-12-23 04:12:07 |
acl2/ | - | 2024-12-23 04:12:07 |
alectryon/ | - | 2024-12-23 04:12:07 |
alt-ergo/ | - | 2024-12-23 04:12:07 |
arb/ | - | 2024-12-23 04:12:07 |
bertini/ | - | 2024-12-23 04:12:07 |
boolector/ | - | 2024-12-23 04:12:07 |
btor2tools/ | - | 2024-12-23 04:12:07 |
cadabra/ | - | 2024-12-23 04:12:07 |
cadical/ | - | 2024-12-23 04:12:07 |
calc/ | - | 2024-12-23 04:12:07 |
cgal/ | - | 2024-12-23 04:12:07 |
clipper2/ | - | 2024-12-23 04:12:07 |
cliquer/ | - | 2024-12-23 04:12:07 |
coq/ | - | 2024-12-23 04:12:07 |
coq-mathcomp/ | - | 2024-12-23 04:12:07 |
coq-serapi/ | - | 2024-12-23 04:12:07 |
cryptominisat/ | - | 2024-12-23 04:12:07 |
cubicle/ | - | 2024-12-23 04:12:07 |
cudd/ | - | 2024-12-23 04:12:07 |
cvc4/ | - | 2024-12-23 04:12:07 |
dataplot/ | - | 2024-12-23 04:12:07 |
diagrtb/ | - | 2024-12-23 04:12:07 |
dsfmt/ | - | 2024-12-23 04:12:07 |
dunshire/ | - | 2024-12-23 04:12:07 |
easycrypt/ | - | 2024-12-23 04:12:07 |
eclib/ | - | 2024-12-23 04:12:07 |
ent/ | - | 2024-12-23 04:12:07 |
eprover/ | - | 2024-12-23 04:12:07 |
euler/ | - | 2024-12-23 04:12:07 |
fann/ | - | 2024-12-23 04:12:07 |
flint/ | - | 2024-12-23 04:12:07 |
flocq/ | - | 2024-12-23 04:12:07 |
form/ | - | 2024-12-23 04:12:07 |
fricas/ | - | 2024-12-23 04:12:07 |
frobby/ | - | 2024-12-23 04:12:07 |
gap/ | - | 2024-12-23 04:12:07 |
gappa/ | - | 2024-12-23 04:12:07 |
gappalib-coq/ | - | 2024-12-23 04:12:07 |
genius/ | - | 2024-12-23 04:12:07 |
geogebra-bin/ | - | 2024-12-23 04:12:07 |
geomview/ | - | 2024-12-23 04:12:07 |
gfan/ | - | 2024-12-23 04:12:07 |
giac/ | - | 2024-12-23 04:12:07 |
gimps/ | - | 2024-12-23 04:12:07 |
ginac/ | - | 2024-12-23 04:12:07 |
glpk/ | - | 2024-12-23 04:12:07 |
gmm/ | - | 2024-12-23 04:12:07 |
gmp-ecm/ | - | 2024-12-23 04:12:07 |
gp2c/ | - | 2024-12-23 04:12:07 |
gretl/ | - | 2024-12-23 04:12:07 |
gsl-shell/ | - | 2024-12-23 04:12:07 |
jags/ | - | 2024-12-23 04:12:07 |
kind2/ | - | 2024-12-23 04:12:07 |
kissat/ | - | 2024-12-23 04:12:07 |
lcalc/ | - | 2024-12-23 04:12:07 |
lean/ | - | 2024-12-23 04:12:07 |
libpoly/ | - | 2024-12-23 04:12:07 |
lpsolve/ | - | 2024-12-23 04:12:07 |
lrcalc/ | - | 2024-12-23 04:12:07 |
manifold/ | - | 2024-12-23 04:12:07 |
mathematica/ | - | 2024-12-23 04:12:07 |
mathlib-tools/ | - | 2024-12-23 04:12:07 |
mathmod/ | - | 2024-12-23 04:12:07 |
mathomatic/ | - | 2024-12-23 04:12:07 |
maxima/ | - | 2024-12-23 04:12:07 |
metamath/ | - | 2024-12-23 04:12:07 |
metamath-databases/ | - | 2024-12-23 04:12:07 |
minisat/ | - | 2024-12-23 04:12:07 |
msieve/ | - | 2024-12-23 04:12:07 |
nauty/ | - | 2024-12-23 04:12:07 |
nestedsums/ | - | 2024-12-23 04:12:07 |
normaliz/ | - | 2024-12-23 04:12:07 |
num-utils/ | - | 2024-12-23 04:12:07 |
octave/ | - | 2024-12-23 04:12:07 |
octave-epstk/ | - | 2024-12-23 04:12:07 |
opensmt/ | - | 2024-12-23 04:12:07 |
otter/ | - | 2024-12-23 04:12:07 |
palp/ | - | 2024-12-23 04:12:07 |
pari/ | - | 2024-12-23 04:12:07 |
pari-data/ | - | 2024-12-23 04:12:07 |
petsc/ | - | 2024-12-23 04:12:07 |
picosat/ | - | 2024-12-23 04:12:07 |
planarity/ | - | 2024-12-23 04:12:07 |
plfit/ | - | 2024-12-23 04:12:07 |
polymake/ | - | 2024-12-23 04:12:07 |
primecount/ | - | 2024-12-23 04:12:07 |
primesieve/ | - | 2024-12-23 04:12:07 |
prng/ | - | 2024-12-23 04:12:07 |
prover9/ | - | 2024-12-23 04:12:07 |
proverif/ | - | 2024-12-23 04:12:07 |
psmt2-frontend/ | - | 2024-12-23 04:12:07 |
pspp/ | - | 2024-12-23 04:12:07 |
rkward/ | - | 2024-12-23 04:12:07 |
rngstreams/ | - | 2024-12-23 04:12:07 |
rw/ | - | 2024-12-23 04:12:07 |
sha1-polyml/ | - | 2024-12-23 04:12:07 |
singular/ | - | 2024-12-23 04:12:07 |
slepc/ | - | 2024-12-23 04:12:07 |
smtinterpol/ | - | 2024-12-23 04:12:07 |
spin/ | - | 2024-12-23 04:12:07 |
stp/ | - | 2024-12-23 04:12:07 |
sympow/ | - | 2024-12-23 04:12:07 |
topcom/ | - | 2024-12-23 04:12:07 |
twelf/ | - | 2024-12-23 04:12:07 |
unuran/ | - | 2024-12-23 04:12:07 |
vampire/ | - | 2024-12-23 04:12:07 |
verifpal/ | - | 2024-12-23 04:12:07 |
verit/ | - | 2024-12-23 04:12:07 |
why3/ | - | 2024-12-23 04:12:07 |
why3-for-spark/ | - | 2024-12-23 04:12:07 |
wxmaxima/ | - | 2024-12-23 04:12:07 |
yacas/ | - | 2024-12-23 04:12:07 |
yafu/ | - | 2024-12-23 04:12:07 |
yices2/ | - | 2024-12-23 04:12:07 |
z3/ | - | 2024-12-23 04:12:07 |
Manifest.gz | 19.2 KiB | 2024-12-22 20:11:10 |
metadata.xml | 1.3 KiB | 2021-09-11 13:40:17 |