| File Name ↓ | File Size ↓ | Date ↓ | 
|---|---|---|
| Parent directory/ | - | - | 
| 4ti2/ | - | 2025-Nov-04 03:10 | 
| abc/ | - | 2025-Nov-04 03:10 | 
| acl2/ | - | 2025-Nov-04 03:10 | 
| alectryon/ | - | 2025-Nov-04 03:10 | 
| alt-ergo/ | - | 2025-Nov-04 03:10 | 
| arb/ | - | 2025-Nov-04 03:10 | 
| bertini/ | - | 2025-Nov-04 03:10 | 
| btor2tools/ | - | 2025-Nov-04 03:10 | 
| cadabra/ | - | 2025-Nov-04 03:10 | 
| cadical/ | - | 2025-Nov-04 03:10 | 
| calc/ | - | 2025-Nov-04 03:10 | 
| cgal/ | - | 2025-Nov-04 03:10 | 
| clipper2/ | - | 2025-Nov-04 03:10 | 
| cliquer/ | - | 2025-Nov-04 03:10 | 
| coq/ | - | 2025-Nov-04 03:10 | 
| coq-mathcomp/ | - | 2025-Nov-04 03:10 | 
| coq-serapi/ | - | 2025-Nov-04 03:10 | 
| coq-stdlib/ | - | 2025-Nov-04 03:10 | 
| cryptominisat/ | - | 2025-Nov-04 03:10 | 
| cubicle/ | - | 2025-Nov-04 03:10 | 
| cudd/ | - | 2025-Nov-04 03:10 | 
| cvc4/ | - | 2025-Nov-04 03:10 | 
| dataplot/ | - | 2025-Nov-04 03:10 | 
| dsfmt/ | - | 2025-Nov-04 03:10 | 
| dunshire/ | - | 2025-Nov-04 03:10 | 
| easycrypt/ | - | 2025-Nov-04 03:10 | 
| eclib/ | - | 2025-Nov-04 03:10 | 
| ent/ | - | 2025-Nov-04 03:10 | 
| eprover/ | - | 2025-Nov-04 03:10 | 
| euler/ | - | 2025-Nov-04 03:10 | 
| fann/ | - | 2025-Nov-04 03:10 | 
| flint/ | - | 2025-Nov-04 03:10 | 
| flocq/ | - | 2025-Nov-04 03:10 | 
| form/ | - | 2025-Nov-04 03:10 | 
| fricas/ | - | 2025-Nov-04 03:10 | 
| frobby/ | - | 2025-Nov-04 03:10 | 
| functions-matlab-colormaps/ | - | 2025-Nov-04 03:10 | 
| gap/ | - | 2025-Nov-04 03:10 | 
| gappa/ | - | 2025-Nov-04 03:10 | 
| gappalib-coq/ | - | 2025-Nov-04 03:10 | 
| genius/ | - | 2025-Nov-04 03:10 | 
| geogebra-bin/ | - | 2025-Nov-04 03:10 | 
| geomview/ | - | 2025-Nov-04 03:10 | 
| gfan/ | - | 2025-Nov-04 03:10 | 
| giac/ | - | 2025-Nov-04 03:10 | 
| gimps/ | - | 2025-Nov-04 03:10 | 
| ginac/ | - | 2025-Nov-04 03:10 | 
| glpk/ | - | 2025-Nov-04 03:10 | 
| gmm/ | - | 2025-Nov-04 03:10 | 
| gmp-ecm/ | - | 2025-Nov-04 03:10 | 
| gp2c/ | - | 2025-Nov-04 03:10 | 
| gretl/ | - | 2025-Nov-04 03:10 | 
| gsl-shell/ | - | 2025-Nov-04 03:10 | 
| jags/ | - | 2025-Nov-04 03:10 | 
| kissat/ | - | 2025-Nov-04 03:10 | 
| lcalc/ | - | 2025-Nov-04 03:10 | 
| lean/ | - | 2025-Nov-04 03:10 | 
| libpoly/ | - | 2025-Nov-04 03:10 | 
| lpsolve/ | - | 2025-Nov-04 03:10 | 
| lrcalc/ | - | 2025-Nov-04 03:10 | 
| manifold/ | - | 2025-Nov-04 03:10 | 
| mathematica/ | - | 2025-Nov-04 03:10 | 
| mathmod/ | - | 2025-Nov-04 03:10 | 
| mathomatic/ | - | 2025-Nov-04 03:10 | 
| maxima/ | - | 2025-Nov-04 03:10 | 
| metamath/ | - | 2025-Nov-04 03:10 | 
| metamath-databases/ | - | 2025-Nov-04 03:10 | 
| minisat/ | - | 2025-Nov-04 03:10 | 
| msieve/ | - | 2025-Nov-04 03:10 | 
| nauty/ | - | 2025-Nov-04 03:10 | 
| nestedsums/ | - | 2025-Nov-04 03:10 | 
| normaliz/ | - | 2025-Nov-04 03:10 | 
| num-utils/ | - | 2025-Nov-04 03:10 | 
| octave/ | - | 2025-Nov-04 03:10 | 
| octave-epstk/ | - | 2025-Nov-04 03:10 | 
| opensmt/ | - | 2025-Nov-04 03:10 | 
| otter/ | - | 2025-Nov-04 03:10 | 
| palp/ | - | 2025-Nov-04 03:10 | 
| pari/ | - | 2025-Nov-04 03:10 | 
| pari-data/ | - | 2025-Nov-04 03:10 | 
| petsc/ | - | 2025-Nov-04 03:10 | 
| picosat/ | - | 2025-Nov-04 03:10 | 
| planarity/ | - | 2025-Nov-04 03:10 | 
| plfit/ | - | 2025-Nov-04 03:10 | 
| polymake/ | - | 2025-Nov-04 03:10 | 
| primecount/ | - | 2025-Nov-04 03:10 | 
| primesieve/ | - | 2025-Nov-04 03:10 | 
| prng/ | - | 2025-Nov-04 03:10 | 
| prover9/ | - | 2025-Nov-04 03:10 | 
| proverif/ | - | 2025-Nov-04 03:10 | 
| pspp/ | - | 2025-Nov-04 03:10 | 
| rkward/ | - | 2025-Nov-04 03:10 | 
| rngstreams/ | - | 2025-Nov-04 03:10 | 
| rw/ | - | 2025-Nov-04 03:10 | 
| sha1-polyml/ | - | 2025-Nov-04 03:10 | 
| singular/ | - | 2025-Nov-04 03:10 | 
| slepc/ | - | 2025-Nov-04 03:10 | 
| smtinterpol/ | - | 2025-Nov-04 03:10 | 
| spin/ | - | 2025-Nov-04 03:10 | 
| stp/ | - | 2025-Nov-04 03:10 | 
| sympow/ | - | 2025-Nov-04 03:10 | 
| topcom/ | - | 2025-Nov-04 03:10 | 
| twelf/ | - | 2025-Nov-04 03:10 | 
| unuran/ | - | 2025-Nov-04 03:10 | 
| vampire/ | - | 2025-Nov-04 03:10 | 
| verifpal/ | - | 2025-Nov-04 03:10 | 
| verit/ | - | 2025-Nov-04 03:10 | 
| why3/ | - | 2025-Nov-04 03:10 | 
| why3-for-spark/ | - | 2025-Nov-04 03:10 | 
| wxmaxima/ | - | 2025-Nov-04 03:10 | 
| yacas/ | - | 2025-Nov-04 03:10 | 
| yafu/ | - | 2025-Nov-04 03:10 | 
| yices2/ | - | 2025-Nov-04 03:10 | 
| z3/ | - | 2025-Nov-04 03:10 | 
| Manifest.gz | 19.1 KiB | 2025-Nov-03 11:13 | 
| metadata.xml | 1.3 KiB | 2021-Sep-11 08:40 |