| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 4ti2/ | - | 2025-Dec-19 18:26 | |
| abc/ | - | 2025-Feb-10 17:26 | |
| acl2/ | - | 2025-Jul-02 08:56 | |
| alectryon/ | - | 2025-Dec-22 03:26 | |
| alt-ergo/ | - | 2025-Sep-25 14:56 | |
| arb/ | - | 2025-Dec-19 18:26 | |
| bertini/ | - | 2026-Feb-23 00:56 | |
| btor2tools/ | - | 2025-Mar-21 06:56 | |
| cadabra/ | - | 2026-Feb-17 04:56 | |
| cadical/ | - | 2025-Aug-09 06:26 | |
| calc/ | - | 2025-Dec-19 18:26 | |
| cgal/ | - | 2025-Dec-19 18:26 | |
| clipper2/ | - | 2025-Sep-24 09:56 | |
| cliquer/ | - | 2025-Aug-10 03:26 | |
| coq/ | - | 2026-Feb-18 06:56 | |
| coq-mathcomp/ | - | 2025-Mar-17 05:56 | |
| coq-serapi/ | - | 2025-Feb-10 17:26 | |
| coq-stdlib/ | - | 2026-Feb-18 06:56 | |
| cryptominisat/ | - | 2025-Nov-04 16:56 | |
| cubicle/ | - | 2025-Oct-09 01:56 | |
| cudd/ | - | 2025-Feb-10 17:26 | |
| cvc4/ | - | 2025-Nov-10 17:56 | |
| dataplot/ | - | 2025-Dec-19 18:26 | |
| dsfmt/ | - | 2025-Dec-19 18:26 | |
| dunshire/ | - | 2025-Mar-30 10:56 | |
| easycrypt/ | - | 2025-Nov-17 05:26 | |
| eclib/ | - | 2026-Jan-20 21:56 | |
| ent/ | - | 2025-Dec-19 18:26 | |
| eprover/ | - | 2025-Nov-22 09:26 | |
| euler/ | - | 2025-Dec-19 18:26 | |
| fann/ | - | 2025-May-21 03:56 | |
| flint/ | - | 2026-Mar-05 18:56 | |
| flocq/ | - | 2025-Mar-24 08:56 | |
| form/ | - | 2026-Mar-08 00:56 | |
| fricas/ | - | 2026-Mar-06 20:56 | |
| frobby/ | - | 2025-Feb-10 17:26 | |
| functions-matlab-colormaps/ | - | 2025-Jun-21 00:56 | |
| gap/ | - | 2025-Nov-04 18:26 | |
| gappa/ | - | 2025-Feb-10 17:26 | |
| gappalib-coq/ | - | 2025-Feb-10 17:26 | |
| genius/ | - | 2025-Feb-10 17:26 | |
| geogebra-bin/ | - | 2025-Oct-31 13:56 | |
| geomview/ | - | 2025-Nov-04 18:26 | |
| gfan/ | - | 2026-Jan-18 01:56 | |
| giac/ | - | 2025-May-29 13:56 | |
| gimps/ | - | 2025-Feb-10 17:26 | |
| ginac/ | - | 2026-Feb-21 20:26 | |
| glpk/ | - | 2026-Feb-17 22:26 | |
| gmm/ | - | 2025-Dec-19 18:26 | |
| gmp-ecm/ | - | 2025-Dec-17 23:56 | |
| gp2c/ | - | 2025-Aug-08 20:56 | |
| gretl/ | - | 2025-Dec-19 18:26 | |
| gsl-shell/ | - | 2025-Feb-10 17:26 | |
| highs/ | - | 2026-Feb-13 22:26 | |
| jags/ | - | 2025-Dec-19 18:26 | |
| kind2/ | - | 2025-Feb-10 17:26 | |
| kissat/ | - | 2025-Aug-02 01:56 | |
| lcalc/ | - | 2026-Mar-01 00:56 | |
| lean/ | - | 2025-Oct-15 04:26 | |
| libpoly/ | - | 2025-Feb-10 17:26 | |
| lpsolve/ | - | 2025-Dec-19 18:26 | |
| lrcalc/ | - | 2025-Dec-17 23:56 | |
| manifold/ | - | 2026-Jan-16 22:56 | |
| mathematica/ | - | 2026-Feb-22 01:26 | |
| mathmod/ | - | 2025-Dec-16 01:26 | |
| mathomatic/ | - | 2025-Dec-19 18:26 | |
| maxima/ | - | 2026-Mar-08 03:56 | |
| metamath/ | - | 2025-Feb-10 17:26 | |
| metamath-databases/ | - | 2025-Feb-10 17:26 | |
| minisat/ | - | 2025-Nov-04 16:56 | |
| msieve/ | - | 2025-Nov-04 18:26 | |
| nauty/ | - | 2025-Nov-04 18:26 | |
| nestedsums/ | - | 2025-Feb-10 17:26 | |
| normaliz/ | - | 2025-Dec-19 18:26 | |
| num-utils/ | - | 2025-Feb-10 17:26 | |
| octave/ | - | 2026-Mar-09 13:26 | |
| octave-epstk/ | - | 2025-Feb-10 17:26 | |
| opensmt/ | - | 2025-Nov-22 09:26 | |
| otter/ | - | 2025-Dec-19 18:26 | |
| palp/ | - | 2025-Feb-10 17:26 | |
| pari/ | - | 2026-Jan-03 05:26 | |
| pari-data/ | - | 2025-Dec-19 18:26 | |
| petsc/ | - | 2026-Mar-08 13:56 | |
| picosat/ | - | 2025-Feb-10 17:26 | |
| planarity/ | - | 2025-Jun-23 04:56 | |
| plfit/ | - | 2026-Jan-20 21:56 | |
| polymake/ | - | 2025-Dec-19 18:26 | |
| primecount/ | - | 2025-Dec-26 21:56 | |
| primesieve/ | - | 2025-May-10 20:56 | |
| prng/ | - | 2025-Dec-19 18:26 | |
| prover9/ | - | 2025-Feb-24 06:56 | |
| proverif/ | - | 2025-Feb-10 17:26 | |
| psmt2-frontend/ | - | 2025-Feb-15 21:26 | |
| pspp/ | - | 2025-Dec-19 18:26 | |
| rkward/ | - | 2025-Dec-19 18:26 | |
| rngstreams/ | - | 2025-Dec-19 18:26 | |
| rw/ | - | 2025-Dec-19 18:26 | |
| sha1-polyml/ | - | 2025-Feb-10 17:26 | |
| singular/ | - | 2025-Dec-19 18:26 | |
| slepc/ | - | 2026-Mar-08 14:26 | |
| smtinterpol/ | - | 2025-Feb-10 17:26 | |
| spin/ | - | 2025-Feb-10 17:26 | |
| stp/ | - | 2025-Nov-04 16:56 | |
| sympow/ | - | 2025-Feb-10 17:26 | |
| topcom/ | - | 2025-Feb-10 17:26 | |
| twelf/ | - | 2025-Apr-24 04:26 | |
| unuran/ | - | 2025-Dec-19 18:26 | |
| vampire/ | - | 2026-Jan-18 02:26 | |
| verifpal/ | - | 2025-Feb-10 17:26 | |
| verit/ | - | 2025-Feb-10 17:26 | |
| why3/ | - | 2025-Oct-09 01:56 | |
| why3-for-spark/ | - | 2026-Feb-20 21:56 | |
| wxmaxima/ | - | 2026-Jan-31 19:26 | |
| yacas/ | - | 2025-Feb-10 17:26 | |
| yafu/ | - | 2025-Sep-02 23:26 | |
| yices2/ | - | 2025-Nov-22 09:26 | |
| z3/ | - | 2026-Feb-20 22:56 | |
| Manifest.gz | 19.2 KiB | 2026-Mar-09 13:26 | |
| metadata.xml | 1.3 KiB | 2025-Oct-01 04:26 | |