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