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