![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 4ti2/ | 2025-12-19 11:33 | - | |
| Manifest.gz | 2026-01-10 15:45 | 19K | |
| abc/ | 2023-03-14 00:04 | - | |
| acl2/ | 2025-07-02 03:33 | - | |
| alectryon/ | 2025-12-21 20:03 | - | |
| alt-ergo/ | 2025-09-25 08:33 | - | |
| arb/ | 2025-12-19 11:33 | - | |
| bertini/ | 2024-01-08 14:03 | - | |
| btor2tools/ | 2025-03-21 00:03 | - | |
| cadabra/ | 2024-11-11 06:03 | - | |
| cadical/ | 2025-08-09 00:03 | - | |
| calc/ | 2025-12-19 11:33 | - | |
| cgal/ | 2025-12-19 11:33 | - | |
| clipper2/ | 2025-09-24 04:33 | - | |
| cliquer/ | 2025-08-09 21:33 | - | |
| coq-mathcomp/ | 2025-03-17 01:33 | - | |
| coq-serapi/ | 2024-11-19 21:33 | - | |
| coq-stdlib/ | 2025-11-07 23:33 | - | |
| coq/ | 2026-01-05 04:33 | - | |
| cryptominisat/ | 2025-11-04 11:03 | - | |
| cubicle/ | 2025-10-08 21:03 | - | |
| cudd/ | 2022-12-19 00:04 | - | |
| cvc4/ | 2025-11-10 10:33 | - | |
| dataplot/ | 2025-12-19 11:33 | - | |
| dsfmt/ | 2025-12-19 11:33 | - | |
| dunshire/ | 2025-03-30 04:33 | - | |
| easycrypt/ | 2025-11-17 10:34 | - | |
| eclib/ | 2025-12-19 11:33 | - | |
| ent/ | 2025-12-19 11:33 | - | |
| eprover/ | 2025-11-22 03:03 | - | |
| euler/ | 2025-12-19 11:33 | - | |
| fann/ | 2025-05-20 22:03 | - | |
| flint/ | 2025-08-04 10:03 | - | |
| flocq/ | 2025-03-24 02:03 | - | |
| form/ | 2025-11-04 11:34 | - | |
| fricas/ | 2025-11-26 00:03 | - | |
| frobby/ | 2023-06-10 01:03 | - | |
| functions-matlab-colormaps/ | 2025-06-20 19:32 | - | |
| gap/ | 2025-11-04 11:34 | - | |
| gappa/ | 2024-01-15 23:02 | - | |
| gappalib-coq/ | 2023-04-11 01:04 | - | |
| genius/ | 2024-01-15 18:03 | - | |
| geogebra-bin/ | 2025-10-31 06:33 | - | |
| geomview/ | 2025-11-04 11:34 | - | |
| gfan/ | 2025-12-19 11:33 | - | |
| giac/ | 2025-05-29 05:32 | - | |
| gimps/ | 2024-08-31 07:33 | - | |
| ginac/ | 2025-12-19 11:33 | - | |
| glpk/ | 2025-12-19 11:33 | - | |
| gmm/ | 2025-12-19 11:33 | - | |
| gmp-ecm/ | 2025-12-17 17:04 | - | |
| gp2c/ | 2025-08-08 15:32 | - | |
| gretl/ | 2025-12-19 11:33 | - | |
| gsl-shell/ | 2024-08-26 02:33 | - | |
| highs/ | 2026-01-03 17:32 | - | |
| jags/ | 2025-12-19 11:33 | - | |
| kind2/ | 2023-06-04 01:12 | - | |
| kissat/ | 2025-08-01 20:03 | - | |
| lcalc/ | 2025-05-28 19:33 | - | |
| lean/ | 2025-10-14 23:03 | - | |
| libpoly/ | 2024-07-31 12:33 | - | |
| lpsolve/ | 2025-12-19 11:33 | - | |
| lrcalc/ | 2025-12-17 17:04 | - | |
| manifold/ | 2025-11-12 11:33 | - | |
| mathematica/ | 2026-01-10 16:33 | - | |
| mathmod/ | 2025-12-15 18:03 | - | |
| mathomatic/ | 2025-12-19 11:33 | - | |
| maxima/ | 2025-12-19 11:33 | - | |
| metadata.xml | 2021-09-11 15:40 | 1.3K | |
| metamath-databases/ | 2023-03-06 00:04 | - | |
| metamath/ | 2022-01-26 00:04 | - | |
| minisat/ | 2025-11-04 11:03 | - | |
| msieve/ | 2025-11-04 11:34 | - | |
| nauty/ | 2025-11-04 11:34 | - | |
| nestedsums/ | 2024-01-12 16:33 | - | |
| normaliz/ | 2025-12-19 11:33 | - | |
| num-utils/ | 2023-06-10 01:03 | - | |
| octave-epstk/ | 2021-11-23 00:05 | - | |
| octave/ | 2025-12-19 11:33 | - | |
| opensmt/ | 2025-11-22 03:03 | - | |
| otter/ | 2025-12-19 11:33 | - | |
| palp/ | 2024-08-20 17:03 | - | |
| pari-data/ | 2025-12-19 11:33 | - | |
| pari/ | 2026-01-02 22:03 | - | |
| petsc/ | 2025-08-09 20:03 | - | |
| picosat/ | 2023-01-29 00:11 | - | |
| planarity/ | 2025-06-22 22:33 | - | |
| plfit/ | 2025-10-22 08:03 | - | |
| polymake/ | 2025-12-19 11:33 | - | |
| primecount/ | 2025-12-26 15:03 | - | |
| primesieve/ | 2025-05-10 18:04 | - | |
| prng/ | 2025-12-19 11:33 | - | |
| prover9/ | 2025-02-24 00:03 | - | |
| proverif/ | 2024-05-24 01:03 | - | |
| psmt2-frontend/ | 2025-02-15 16:03 | - | |
| pspp/ | 2025-12-19 11:33 | - | |
| rkward/ | 2025-12-19 11:33 | - | |
| rngstreams/ | 2025-12-19 11:33 | - | |
| rw/ | 2025-12-19 11:33 | - | |
| sha1-polyml/ | 2024-02-14 12:03 | - | |
| singular/ | 2025-12-19 11:33 | - | |
| slepc/ | 2025-06-29 00:33 | - | |
| smtinterpol/ | 2024-10-17 18:03 | - | |
| spin/ | 2024-06-28 14:03 | - | |
| stp/ | 2025-11-04 11:03 | - | |
| sympow/ | 2024-12-22 21:33 | - | |
| topcom/ | 2024-05-16 01:34 | - | |
| twelf/ | 2025-04-23 22:03 | - | |
| unuran/ | 2025-12-19 11:33 | - | |
| vampire/ | 2024-09-30 21:02 | - | |
| verifpal/ | 2023-08-14 01:04 | - | |
| verit/ | 2022-03-11 00:05 | - | |
| why3-for-spark/ | 2026-01-05 14:32 | - | |
| why3/ | 2025-10-08 21:03 | - | |
| wxmaxima/ | 2025-06-28 11:03 | - | |
| yacas/ | 2025-01-23 01:03 | - | |
| yafu/ | 2025-09-02 18:03 | - | |
| yices2/ | 2025-11-22 03:03 | - | |
| z3/ | 2025-12-14 01:33 | - | |