| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| planarity-3.0.0.5 | 368 B | 2020-Mar-24 19:09 |
| cliquer-1.21 | 375 B | 2020-Mar-25 16:09 |
| eclib-20190909 | 642 B | 2020-Jul-23 07:09 |
| gp2c-0.0.11.3 | 389 B | 2021-Jan-05 16:39 |
| alt-ergo-2.3.0 | 805 B | 2021-Jan-17 04:39 |
| lrcalc-2.0 | 366 B | 2021-Feb-08 01:39 |
| coq-8.13.0 | 1015 B | 2021-Jul-01 18:39 |
| gretl-1.9.90 | 1.7 KiB | 2021-Sep-03 23:24 |
| pari-2.11.4 | 1.1 KiB | 2021-Sep-03 23:24 |
| arb-2.17.0 | 648 B | 2021-Sep-03 23:24 |
| why3-for-spark-2018 | 1.1 KiB | 2021-Sep-18 17:09 |
| glpk-4.65 | 1.3 KiB | 2021-Oct-01 20:11 |
| gimps-30.7.5 | 716 B | 2021-Oct-20 02:12 |
| gimps-30.7.7 | 716 B | 2021-Oct-31 03:10 |
| wxmaxima-21.05.1 | 1.3 KiB | 2021-Oct-31 19:44 |
| wxmaxima-21.04.0 | 1.3 KiB | 2021-Oct-31 19:44 |
| wxmaxima-21.01.0 | 1.3 KiB | 2021-Oct-31 19:44 |
| arb-2.18.1 | 1.1 KiB | 2021-Oct-31 19:44 |
| flint-2.8.1 | 1.3 KiB | 2021-Oct-31 19:44 |
| lcalc-2.0.3 | 556 B | 2021-Nov-02 12:40 |
| planarity-3.0.1.1 | 382 B | 2021-Nov-02 16:09 |
| eclib-20210625 | 645 B | 2021-Nov-03 10:39 |
| flint-2.8.3 | 1.2 KiB | 2021-Nov-09 10:44 |
| lpsolve-5.5.2.0 | 419 B | 2021-Nov-19 00:09 |
| spin-6.4.5 | 687 B | 2021-Nov-22 03:39 |
| octave-epstk-2.4 | 435 B | 2021-Nov-22 03:39 |
| lcalc-2.0.4 | 557 B | 2021-Nov-26 01:10 |
| lean-3.35.1-r1 | 883 B | 2021-Nov-26 14:40 |
| spin-6.5.1 | 653 B | 2021-Nov-26 23:10 |
| gp2c-0.0.12 | 388 B | 2021-Dec-06 07:39 |
| easycrypt-1.0_pre20211210 | 1.0 KiB | 2021-Dec-12 02:10 |
| why3-1.4.0 | 1.8 KiB | 2021-Dec-12 02:10 |
| coq-8.11.2 | 1.0 KiB | 2021-Dec-14 04:24 |
| coq-8.12.0-r1 | 1.0 KiB | 2021-Dec-14 04:24 |
| primecount-7.2 | 860 B | 2021-Dec-26 00:23 |
| alt-ergo-2.4.1 | 916 B | 2021-Dec-28 00:10 |
| cadical-1.5.2 | 403 B | 2021-Dec-28 15:09 |
| spin-6.5.2 | 653 B | 2022-Jan-02 11:53 |
| nauty-2.6.7-r1 | 935 B | 2022-Jan-02 11:53 |
| rkward-0.7.2 | 2.5 KiB | 2022-Jan-02 11:53 |
| nauty-2.6.7 | 1.4 KiB | 2022-Jan-02 11:53 |
| pari-2.13.2 | 1.1 KiB | 2022-Jan-02 11:53 |
| minisat-2.2.0_p20130925-r1 | 656 B | 2022-Jan-02 11:53 |
| octave-6.2.0 | 4.3 KiB | 2022-Jan-02 18:10 |
| octave-6.3.0 | 4.3 KiB | 2022-Jan-02 18:10 |
| z3-4.8.11b | 2.5 KiB | 2022-Jan-09 08:44 |
| easycrypt-1.0_pre20211210-r1 | 1.0 KiB | 2022-Jan-10 17:40 |
| why3-1.4.0-r1 | 1.8 KiB | 2022-Jan-11 00:40 |
| lcalc-2.0.5 | 556 B | 2022-Jan-18 14:09 |
| singular-4.2.1_p3 | 1.4 KiB | 2022-Jan-22 22:46 |
| gfan-0.6.2-r3 | 832 B | 2022-Jan-22 22:46 |
| polymake-4.5 | 1.6 KiB | 2022-Jan-22 22:46 |
| lean-3.35.1-r2 | 887 B | 2022-Jan-22 22:46 |
| gfan-0.6.2-r2 | 831 B | 2022-Jan-22 22:46 |
| minisat-2.2.1 | 816 B | 2022-Jan-22 22:46 |
| singular-4.2.1-r1 | 1.4 KiB | 2022-Jan-22 22:46 |
| giac-1.7.0.45 | 2.0 KiB | 2022-Jan-22 22:46 |
| why3-for-spark-2021 | 1.7 KiB | 2022-Feb-07 22:10 |
| cvc4-1.8 | 1.7 KiB | 2022-Feb-08 09:10 |
| z3-4.8.13 | 2.5 KiB | 2022-Feb-09 10:14 |
| coq-8.15.0 | 926 B | 2022-Feb-13 09:39 |
| coq-8.15.0-r1 | 1.1 KiB | 2022-Feb-17 13:40 |
| lean-3.37.0 | 887 B | 2022-Feb-21 17:12 |
| lean-3.38.0 | 837 B | 2022-Feb-22 18:39 |
| mathlib-tools-1.1.0 | 3.9 KiB | 2022-Feb-25 16:12 |
| coq-mathcomp-1.14.0 | 422 B | 2022-Mar-05 05:10 |
| verit-2021.06.2 | 320 B | 2022-Mar-10 21:39 |
| lcalc-2.0.5-r1 | 661 B | 2022-Mar-10 23:39 |
| z3-4.8.14 | 2.5 KiB | 2022-Mar-16 19:40 |
| z3-4.8.15 | 2.3 KiB | 2022-Mar-21 09:09 |
| coq-serapi-0.15.0 | 1.1 KiB | 2022-Mar-24 04:26 |
| alt-ergo-2.4.1-r1 | 1.0 KiB | 2022-Mar-24 04:26 |
| lean-3.40.0 | 837 B | 2022-Mar-25 20:23 |
| twelf-1.7.1-r1 | 762 B | 2022-Mar-25 20:23 |
| wxmaxima-21.05.2 | 1.3 KiB | 2022-Apr-01 15:45 |
| alectryon-1.4.0 | 2.8 KiB | 2022-Apr-02 19:41 |
| maxima-5.44.0-r9 | 3.3 KiB | 2022-Apr-12 06:11 |
| maxima-5.44.0-r10 | 2.9 KiB | 2022-Apr-12 06:11 |
| octave-6.4.0 | 4.3 KiB | 2022-Apr-16 05:11 |
| coq-serapi-0.15.0-r1 | 1.2 KiB | 2022-Apr-17 20:40 |
| z3-4.8.14-r1 | 2.5 KiB | 2022-Apr-21 15:45 |
| topcom-0.17.8-r1 | 1.1 KiB | 2022-Apr-30 19:41 |
| easycrypt-2022.04 | 1.0 KiB | 2022-May-01 07:48 |
| alt-ergo-2.4.1_p20220407 | 1.1 KiB | 2022-May-01 07:48 |
| easycrypt-1.0_pre20211210-r2 | 1.1 KiB | 2022-May-01 07:48 |
| easycrypt-1.0_pre20220303 | 1.1 KiB | 2022-May-01 07:48 |
| octave-6.4.0-r1 | 4.0 KiB | 2022-May-02 19:40 |
| topcom-0.17.7-r1 | 1.1 KiB | 2022-May-02 19:40 |
| topcom-0.17.8-r2 | 1.0 KiB | 2022-May-07 22:40 |
| z3-4.8.15-r1 | 2.4 KiB | 2022-May-17 03:54 |
| petsc-3.15.0-r1 | 2.1 KiB | 2022-May-17 03:54 |
| gimps-30.5.2 | 816 B | 2022-May-17 03:54 |
| cgal-5.2.2-r1 | 1.7 KiB | 2022-May-17 03:54 |
| cgal-5.2.1-r2 | 1.7 KiB | 2022-May-17 03:54 |
| slepc-3.13.1 | 1.1 KiB | 2022-May-17 03:54 |
| petsc-3.16.0 | 2.4 KiB | 2022-May-17 03:54 |
| pari-2.13.3 | 1.0 KiB | 2022-May-17 03:54 |
| petsc-3.13.1 | 2.2 KiB | 2022-May-17 03:54 |
| slepc-3.15.0 | 1.2 KiB | 2022-May-17 03:54 |
| lean-3.41.0 | 868 B | 2022-May-17 03:54 |
| singular-4.3.0 | 1.4 KiB | 2022-May-17 03:54 |
| dunshire-0.1.1-r1 | 1.4 KiB | 2022-May-17 03:54 |
| gimps-30.3.6 | 814 B | 2022-May-17 03:54 |
| fricas-1.3.6 | 1.2 KiB | 2022-May-17 03:54 |
| cgal-5.1-r2 | 1.6 KiB | 2022-May-17 03:54 |
| z3-4.8.16 | 2.4 KiB | 2022-May-17 03:54 |
| slepc-3.14.2 | 1.1 KiB | 2022-May-17 03:54 |
| petsc-3.14.6 | 2.2 KiB | 2022-May-17 03:54 |
| rkward-0.7.2-r1 | 2.3 KiB | 2022-May-17 03:54 |
| petsc-3.15.0 | 2.3 KiB | 2022-May-17 03:54 |
| octave-6.4.0-r2 | 4.0 KiB | 2022-May-17 22:40 |
| rkward-0.7.3 | 2.3 KiB | 2022-May-18 13:10 |
| petsc-3.17.1 | 2.0 KiB | 2022-May-26 01:40 |
| pspp-1.2.0-r1 | 1.7 KiB | 2022-Jun-07 07:15 |
| pspp-1.4.1 | 1.7 KiB | 2022-Jun-07 07:15 |
| alt-ergo-2.3.0-r1 | 809 B | 2022-Jun-21 02:11 |
| lean-3.39.1 | 875 B | 2022-Jun-22 04:43 |
| lean-3.42.0 | 876 B | 2022-Jun-22 04:43 |
| coq-8.15.1 | 1.2 KiB | 2022-Jun-22 16:10 |
| coq-8.15.0-r2 | 1.2 KiB | 2022-Jun-22 16:10 |
| mathomatic-16.0.5 | 1.1 KiB | 2022-Jun-28 08:15 |
| lean-3.42.1 | 876 B | 2022-Jun-28 08:15 |
| singular-4.2.0_p3-r1 | 1.4 KiB | 2022-Jun-29 14:42 |
| singular-4.2.1 | 1.4 KiB | 2022-Jun-29 14:42 |
| singular-4.3.0_p1 | 1.3 KiB | 2022-Jun-29 14:42 |
| cadabra-2.3.8 | 3.5 KiB | 2022-Jun-29 18:14 |
| z3-4.9.1 | 2.3 KiB | 2022-Jul-07 08:40 |
| lcalc-2.0.5-r2 | 669 B | 2022-Jul-16 12:40 |
| sha1-polyml-5.6_p1 | 435 B | 2022-Jul-18 16:23 |
| gsl-shell-2.3.0_beta1-r1 | 931 B | 2022-Jul-18 16:23 |
| calc-2.12.5.4 | 593 B | 2022-Jul-18 16:23 |
| normaliz-3.1.3-r1 | 702 B | 2022-Jul-18 16:23 |
| jags-4.2.0 | 626 B | 2022-Jul-18 16:23 |
| why3-1.5.0 | 1.9 KiB | 2022-Jul-18 16:23 |
| normaliz-3.8.10-r1 | 915 B | 2022-Jul-18 16:23 |
| why3-1.4.1 | 1.8 KiB | 2022-Jul-18 16:23 |
| why3-1.4.0-r2 | 1.8 KiB | 2022-Jul-18 16:23 |
| gmp-ecm-7.0.5 | 822 B | 2022-Jul-18 16:23 |
| vampire-4.6.1 | 876 B | 2022-Jul-21 00:15 |
| genius-1.0.25 | 2.1 KiB | 2022-Jul-24 22:44 |
| primecount-7.2-r1 | 924 B | 2022-Jul-26 05:15 |
| rstudio-1.3.1093-r1 | 3.7 KiB | 2022-Jul-26 05:15 |
| primesieve-7.7 | 862 B | 2022-Jul-26 05:15 |
| octave-7.1.0 | 4.0 KiB | 2022-Jul-26 22:10 |
| lean-3.43.0 | 889 B | 2022-Aug-02 22:10 |
| stp-2.3.3-r1 | 2.1 KiB | 2022-Aug-07 00:10 |
| lpsolve-5.5.2.0-r1 | 399 B | 2022-Aug-12 12:40 |
| eclib-20220621 | 646 B | 2022-Aug-15 08:10 |
| agda-2.6.1.2 | 5.3 KiB | 2022-Aug-18 22:40 |
| coq-serapi-0.15.0-r2 | 1.2 KiB | 2022-Aug-18 22:40 |
| agda-stdlib-2.6.1.2.1.4 | 1.1 KiB | 2022-Aug-18 22:40 |
| alt-ergo-2.4.2 | 1.2 KiB | 2022-Aug-20 13:40 |
| lean-3.45.0 | 889 B | 2022-Aug-24 05:17 |
| wxmaxima-22.04.0 | 1.4 KiB | 2022-Aug-24 05:17 |
| wxmaxima-21.11.0 | 1.4 KiB | 2022-Aug-24 05:17 |
| gmm-5.1 | 996 B | 2022-Aug-24 05:17 |
| vampire-4.6.1-r1 | 901 B | 2022-Aug-24 05:17 |
| octave-7.2.0 | 4.0 KiB | 2022-Aug-24 05:17 |
| pari-2.13.4 | 1.0 KiB | 2022-Aug-24 05:17 |
| giac-1.9.0.19 | 1.8 KiB | 2022-Aug-24 05:17 |
| vampire-4.7 | 931 B | 2022-Aug-24 05:17 |
| gmm-5.3 | 707 B | 2022-Aug-24 05:17 |
| lean-3.44.1 | 889 B | 2022-Aug-24 05:17 |
| maxima-5.45.1-r2 | 3.2 KiB | 2022-Sep-07 08:15 |
| z3-4.10.1 | 2.3 KiB | 2022-Sep-07 08:15 |
| z3-4.8.17 | 2.3 KiB | 2022-Sep-07 08:15 |
| z3-4.11.0 | 2.6 KiB | 2022-Sep-07 08:15 |
| z3-4.10.2 | 2.3 KiB | 2022-Sep-07 08:15 |
| coq-mathcomp-1.14.0-r1 | 482 B | 2022-Sep-07 12:40 |
| coq-mathcomp-1.15.0 | 408 B | 2022-Sep-07 12:40 |
| maxima-5.42.1-r1 | 2.7 KiB | 2022-Sep-16 08:40 |
| z3-4.9.1-r1 | 2.3 KiB | 2022-Sep-23 10:10 |
| coq-serapi-0.16.0 | 1.4 KiB | 2022-Oct-02 00:10 |
| pspp-1.6.0 | 1.6 KiB | 2022-Oct-04 04:44 |
| pspp-1.6.1 | 1.7 KiB | 2022-Oct-04 04:44 |
| pspp-1.6.2 | 1.7 KiB | 2022-Oct-04 04:44 |
| gmp-ecm-7.0.4-r4 | 923 B | 2022-Oct-10 21:22 |
| giac-1.9.0.5 | 1.8 KiB | 2022-Oct-10 21:22 |
| giac-1.9.0.21 | 1.8 KiB | 2022-Oct-10 21:22 |
| giac-1.7.0.47 | 1.8 KiB | 2022-Oct-10 21:22 |
| nauty-2.7.3 | 996 B | 2022-Oct-10 21:22 |
| primesieve-7.9 | 862 B | 2022-Oct-10 21:22 |
| otter-3.3-r3 | 781 B | 2022-Oct-10 21:22 |
| mathlib-tools-1.1.0-r1 | 5.1 KiB | 2022-Oct-10 21:22 |
| pari-2.15.0 | 1.0 KiB | 2022-Oct-10 21:22 |
| mathlib-tools-1.1.1 | 5.1 KiB | 2022-Oct-10 21:22 |
| mathlib-tools-1.1.2 | 5.1 KiB | 2022-Oct-10 21:22 |
| lean-3.46.0 | 889 B | 2022-Oct-10 21:22 |
| primecount-7.3 | 924 B | 2022-Oct-10 21:22 |
| rkward-0.7.4 | 2.4 KiB | 2022-Oct-11 13:10 |
| cvc4-1.8-r1 | 1.6 KiB | 2022-Oct-15 15:10 |
| gimps-30.8.16 | 759 B | 2022-Oct-15 17:41 |
| coq-8.11.2-r1 | 1.1 KiB | 2022-Oct-20 06:41 |
| geogebra-bin-5.0.604.0-r2 | 894 B | 2022-Oct-20 06:41 |
| geogebra-bin-5.0.683.0 | 894 B | 2022-Oct-20 06:41 |
| mathlib-tools-1.1.1-r1 | 5.3 KiB | 2022-Oct-23 12:10 |
| mathlib-tools-1.1.2-r1 | 5.3 KiB | 2022-Oct-23 12:10 |
| cadabra-2.4.2 | 3.5 KiB | 2022-Oct-26 22:10 |
| octave-7.3.0 | 4.1 KiB | 2022-Nov-05 05:40 |
| giac-1.9.0.29 | 1.8 KiB | 2022-Nov-11 01:40 |
| octave-5.2.0 | 4.3 KiB | 2022-Nov-23 01:41 |
| why3-for-spark-2019-r2 | 1.1 KiB | 2022-Nov-26 14:10 |
| cadabra-2.3.9.3 | 3.5 KiB | 2022-Dec-06 06:22 |
| cadabra-2.4.0.2 | 3.5 KiB | 2022-Dec-06 06:22 |
| polymake-4.7 | 1.7 KiB | 2022-Dec-06 22:22 |
| singular-4.2.0_p1 | 1.2 KiB | 2022-Dec-06 22:22 |
| polymake-4.6 | 1.7 KiB | 2022-Dec-06 22:22 |
| frobby-0.9.0-r3 | 553 B | 2022-Dec-06 22:22 |
| singular-4.2.1_p3-r1 | 1.4 KiB | 2022-Dec-06 22:22 |
| giac-1.7.0.13-r1 | 2.0 KiB | 2022-Dec-06 22:22 |
| octave-7.2.0-r1 | 4.1 KiB | 2022-Dec-06 22:22 |
| lean-3.48.0 | 889 B | 2022-Dec-10 02:15 |
| cgal-5.4.1 | 1.6 KiB | 2022-Dec-10 02:15 |
| cgal-5.2-r2 | 1.6 KiB | 2022-Dec-10 02:15 |
| lean-3.47.0 | 889 B | 2022-Dec-10 02:15 |
| lean-3.49.1 | 889 B | 2022-Dec-10 02:15 |
| yacas-1.7.0-r1 | 1.7 KiB | 2022-Dec-10 02:15 |
| mathlib-tools-1.2.0 | 5.4 KiB | 2022-Dec-14 10:45 |
| relational-2.5-r2 | 1.4 KiB | 2022-Dec-14 10:45 |
| flint-2.7.1-r1 | 1.4 KiB | 2022-Dec-14 10:45 |
| lean-3.50.0 | 889 B | 2022-Dec-15 09:10 |
| gmm-5.4.2 | 361 B | 2022-Dec-16 19:10 |
| cudd-3.0.0 | 295 B | 2022-Dec-18 22:10 |
| singular-4.3.1_p2 | 950 B | 2022-Dec-23 23:40 |
| gappalib-coq-1.5.2 | 626 B | 2022-Dec-24 22:40 |
| flocq-4.1.0 | 504 B | 2022-Dec-24 22:40 |
| coq-serapi-0.15.0-r3 | 1.3 KiB | 2022-Dec-27 16:48 |
| octave-6.4.0-r3 | 4.0 KiB | 2023-Jan-03 09:22 |
| pari-2.15.1 | 1.0 KiB | 2023-Jan-03 09:22 |
| octave-7.3.0-r1 | 4.2 KiB | 2023-Jan-03 09:22 |
| yices2-2.6.4 | 914 B | 2023-Jan-03 09:22 |
| cadical-1.5.3 | 427 B | 2023-Jan-03 09:22 |
| octave-6.4.0-r4 | 4.0 KiB | 2023-Jan-03 09:22 |
| nauty-2.8.6 | 1.0 KiB | 2023-Jan-03 09:22 |
| arb-2.21.0 | 1.1 KiB | 2023-Jan-05 00:43 |
| arb-2.22.1 | 1.1 KiB | 2023-Jan-05 00:43 |
| arb-2.19.0 | 1.1 KiB | 2023-Jan-05 00:43 |
| cubicle-1.2.0 | 1.1 KiB | 2023-Jan-10 23:40 |
| btor2tools-1.0.0_pre20220518 | 798 B | 2023-Jan-11 04:10 |
| picosat-965-r1 | 393 B | 2023-Jan-11 04:10 |
| alt-ergo-2.4.1_p20220407-r1 | 1.2 KiB | 2023-Jan-12 13:10 |
| coq-serapi-0.16.0-r1 | 1.4 KiB | 2023-Jan-12 13:10 |
| coq-serapi-0.16.2 | 1.4 KiB | 2023-Jan-12 13:10 |
| mathlib-tools-1.3.1 | 3.0 KiB | 2023-Jan-14 11:45 |
| mathlib-tools-1.3.0 | 3.0 KiB | 2023-Jan-14 11:45 |
| mathlib-tools-1.3.2 | 3.0 KiB | 2023-Jan-14 11:45 |
| form-4.3.0 | 1.0 KiB | 2023-Jan-14 12:40 |
| pspp-1.6.0-r1 | 1.6 KiB | 2023-Jan-14 13:13 |
| pspp-1.6.2-r1 | 1.6 KiB | 2023-Jan-14 13:13 |
| pari-2.15.2 | 1.0 KiB | 2023-Jan-22 01:40 |
| pari-2.15.2-r1 | 1.0 KiB | 2023-Jan-26 02:12 |
| cvc4-1.7-r1 | 1.4 KiB | 2023-Jan-28 22:43 |
| octave-6.4.0-r5 | 4.0 KiB | 2023-Jan-30 18:23 |
| wxmaxima-22.09.0 | 1.4 KiB | 2023-Jan-30 18:23 |
| wxmaxima-22.05.0 | 1.4 KiB | 2023-Jan-30 18:23 |
| opensmt-2.4.3 | 1.1 KiB | 2023-Jan-30 18:23 |
| primesieve-8.0 | 863 B | 2023-Jan-30 18:23 |
| primecount-7.4 | 936 B | 2023-Jan-30 18:23 |
| coq-mathcomp-1.16.0 | 408 B | 2023-Feb-02 11:10 |
| lpsolve-5.5.2.11-r1 | 529 B | 2023-Feb-03 05:40 |
| ginac-1.8.0 | 856 B | 2023-Feb-07 14:44 |
| ginac-1.7.11 | 855 B | 2023-Feb-07 14:44 |
| coq-mathcomp-1.14.0-r2 | 516 B | 2023-Feb-16 12:10 |
| cubicle-1.2.0-r1 | 1.1 KiB | 2023-Feb-19 19:52 |
| cadabra-2.4.2.1 | 2.8 KiB | 2023-Feb-19 19:52 |
| pari-2.15.2-r2 | 1.0 KiB | 2023-Feb-19 19:52 |
| cadabra-2.4.2.2 | 2.8 KiB | 2023-Feb-19 19:52 |
| cvc4-1.8-r2 | 1.5 KiB | 2023-Feb-19 19:52 |
| stp-2.3.3-r2 | 1.9 KiB | 2023-Feb-20 01:11 |
| cvc4-1.8-r3 | 1.6 KiB | 2023-Feb-22 11:40 |
| dunshire-0.1.1-r2 | 1.5 KiB | 2023-Feb-25 07:12 |
| metamath-databases-20220303 | 420 B | 2023-Mar-04 16:40 |
| alt-ergo-2.4.1-r2 | 1.1 KiB | 2023-Mar-26 12:22 |
| why3-1.5.0-r1 | 1.9 KiB | 2023-Mar-26 12:22 |
| easycrypt-2022.04-r1 | 1.1 KiB | 2023-Mar-26 12:22 |
| easycrypt-2022.04_p20220505 | 1.2 KiB | 2023-Mar-26 12:22 |
| easycrypt-1.0_pre20220303-r1 | 1.2 KiB | 2023-Mar-26 12:22 |
| coq-8.16.0 | 1.3 KiB | 2023-Mar-26 12:22 |
| geogebra-bin-5.0.752.0 | 895 B | 2023-Mar-26 12:22 |
| alt-ergo-2.4.2-r1 | 1.2 KiB | 2023-Mar-26 12:22 |
| why3-1.4.0-r3 | 1.8 KiB | 2023-Mar-26 12:22 |
| cadabra-2.4.2.2-r1 | 3.6 KiB | 2023-Mar-26 12:41 |
| z3-4.12.0 | 2.4 KiB | 2023-Mar-26 12:41 |
| cadabra-2.4.2.1-r1 | 3.6 KiB | 2023-Mar-26 12:41 |
| cryptominisat-5.8.0 | 1.4 KiB | 2023-Mar-26 12:41 |
| cadabra-2.4.3.2 | 2.8 KiB | 2023-Mar-26 12:41 |
| lean-3.50.2 | 889 B | 2023-Mar-26 12:41 |
| z3-4.11.2 | 2.4 KiB | 2023-Mar-26 12:41 |
| lean-3.50.1 | 889 B | 2023-Mar-26 12:41 |
| opensmt-2.4.3-r1 | 1.1 KiB | 2023-Mar-26 12:41 |
| fricas-1.3.7 | 1.2 KiB | 2023-Mar-26 17:10 |
| fricas-1.3.8 | 1.1 KiB | 2023-Mar-26 17:10 |
| why3-for-spark-2019-r3 | 1.1 KiB | 2023-Mar-31 13:40 |
| why3-for-spark-2020 | 1.6 KiB | 2023-Apr-02 11:40 |
| coq-8.16.1 | 1.3 KiB | 2023-Apr-11 14:40 |
| coq-8.13.0-r1 | 1.0 KiB | 2023-Apr-11 14:40 |
| coq-8.15.2 | 1.3 KiB | 2023-Apr-11 14:40 |
| coq-mathcomp-1.15.0-r1 | 442 B | 2023-Apr-11 14:40 |
| coq-mathcomp-1.16.0-r1 | 442 B | 2023-Apr-11 14:40 |
| form-4.2.1 | 1.0 KiB | 2023-May-10 18:19 |
| wxmaxima-22.12.0 | 1.2 KiB | 2023-May-10 18:19 |
| singular-4.3.1_p1 | 944 B | 2023-May-10 18:19 |
| polymake-4.8 | 1.7 KiB | 2023-May-10 18:19 |
| acl2-8.5 | 628 B | 2023-May-10 18:19 |
| wxmaxima-23.02.0 | 1.2 KiB | 2023-May-10 18:19 |
| wxmaxima-23.04.1-r1 | 1.2 KiB | 2023-May-14 11:40 |
| wxmaxima-23.05.0 | 1.2 KiB | 2023-May-19 11:40 |
| ginac-1.8.2 | 886 B | 2023-May-23 16:12 |
| wxmaxima-20.12.2 | 1.3 KiB | 2023-May-29 18:49 |
| nauty-2.7.4 | 1001 B | 2023-May-29 18:49 |
| maxima-5.46.0 | 3.0 KiB | 2023-May-29 18:49 |
| pari-2.13.4-r1 | 1.0 KiB | 2023-Jun-03 11:40 |
| num-utils-0.5-r2 | 445 B | 2023-Jun-09 15:40 |
| planarity-3.0.2.0 | 383 B | 2023-Jun-09 15:40 |
| unuran-1.8.1 | 653 B | 2023-Jun-09 15:40 |
| rngstreams-1.0.1 | 455 B | 2023-Jun-09 15:40 |
| eclib-20221012 | 635 B | 2023-Jun-09 15:40 |
| flintqs-1.0 | 379 B | 2023-Jun-09 15:40 |
| rw-0.9 | 376 B | 2023-Jun-09 15:40 |
| lrcalc-2.1 | 365 B | 2023-Jun-09 15:40 |
| lrcalc-1.2 | 365 B | 2023-Jun-09 15:40 |
| pari-data-20191216 | 718 B | 2023-Jun-09 15:40 |
| why3-1.5.1 | 1.9 KiB | 2023-Jun-10 10:50 |
| why3-1.4.1-r1 | 1.8 KiB | 2023-Jun-10 10:50 |
| opensmt-2.4.3-r2 | 1.1 KiB | 2023-Jun-24 23:11 |
| giac-1.9.0.55 | 1.8 KiB | 2023-Jun-30 11:40 |
| coq-serapi-0.16.2-r1 | 1.3 KiB | 2023-Jul-01 07:40 |
| coq-serapi-0.16.1 | 1.4 KiB | 2023-Jul-01 07:40 |
| singular-4.3.1_p3 | 949 B | 2023-Jul-01 07:40 |
| coq-serapi-0.16.3 | 1.3 KiB | 2023-Jul-01 07:40 |
| vampire-4.6.1-r2 | 907 B | 2023-Jul-02 13:41 |
| flint-2.8.5 | 1.2 KiB | 2023-Jul-02 15:42 |
| flint-2.8.4 | 1.2 KiB | 2023-Jul-02 15:42 |
| coq-8.17.0 | 1.4 KiB | 2023-Jul-17 12:40 |
| pari-2.15.4 | 1.0 KiB | 2023-Jul-30 19:19 |
| yacas-1.9.1 | 1.6 KiB | 2023-Jul-30 19:19 |
| cryptominisat-5.11.4 | 859 B | 2023-Jul-30 19:19 |
| opensmt-2.5.0 | 1.1 KiB | 2023-Jul-30 19:19 |
| vampire-4.7-r1 | 937 B | 2023-Aug-18 01:52 |
| normaliz-3.10.0 | 984 B | 2023-Aug-18 01:52 |
| polymake-4.6-r1 | 1.7 KiB | 2023-Aug-18 01:52 |
| coq-8.12.0-r2 | 1.1 KiB | 2023-Aug-18 01:52 |
| opensmt-2.5.1 | 1.1 KiB | 2023-Aug-18 01:52 |
| polymake-4.9 | 1.7 KiB | 2023-Aug-18 01:52 |
| wxmaxima-23.05.1 | 1.2 KiB | 2023-Aug-23 08:11 |
| fricas-1.3.9 | 1.1 KiB | 2023-Sep-14 15:41 |
| fricas-1.3.8-r1 | 1.1 KiB | 2023-Sep-14 15:41 |
| kissat-3.0.0 | 523 B | 2023-Oct-01 07:49 |
| cadical-1.5.2-r1 | 427 B | 2023-Oct-01 07:49 |
| lean-3.49.0 | 888 B | 2023-Oct-05 11:44 |
| lean-3.50.3 | 888 B | 2023-Oct-05 11:44 |
| lean-3.51.0 | 889 B | 2023-Oct-05 11:44 |
| coq-8.17.1 | 1.4 KiB | 2023-Oct-09 11:16 |
| flocq-4.1.1 | 541 B | 2023-Oct-09 11:16 |
| flocq-4.1.0-r1 | 541 B | 2023-Oct-09 11:16 |
| easycrypt-2022.04_p20230324 | 1.2 KiB | 2023-Oct-09 11:16 |
| gappalib-coq-1.5.2-r1 | 704 B | 2023-Oct-09 11:16 |
| gappalib-coq-1.5.3 | 704 B | 2023-Oct-09 11:16 |
| fricas-1.3.9-r1 | 1.2 KiB | 2023-Oct-12 06:10 |
| fricas-1.3.9-r2 | 1.1 KiB | 2023-Oct-15 08:40 |
| cryptominisat-5.11.11 | 862 B | 2023-Oct-21 18:14 |
| cryptominisat-5.11.12 | 862 B | 2023-Oct-21 18:14 |
| coq-serapi-0.17.0 | 1.3 KiB | 2023-Oct-22 10:10 |
| acl2-8.5-r1 | 632 B | 2023-Oct-22 10:10 |
| proverif-2.04 | 727 B | 2023-Oct-22 10:10 |
| coq-serapi-0.18.1 | 1.3 KiB | 2023-Oct-23 21:10 |
| coq-mathcomp-1.17.0 | 442 B | 2023-Oct-24 12:40 |
| lean-3.9999 | 858 B | 2023-Oct-26 01:12 |
| pari-2.15.3 | 1.0 KiB | 2023-Oct-29 04:20 |
| giac-1.9.0.55-r1 | 1.9 KiB | 2023-Oct-29 04:20 |
| ginac-1.8.7 | 862 B | 2023-Nov-12 12:40 |
| cliquer-1.22 | 389 B | 2023-Nov-22 22:40 |
| z3-4.12.1 | 2.2 KiB | 2023-Nov-23 15:12 |
| singular-4.3.2_p1 | 990 B | 2023-Nov-27 13:41 |
| wxmaxima-23.04.1 | 1.2 KiB | 2023-Dec-14 05:45 |
| wxmaxima-23.08.0 | 1.2 KiB | 2023-Dec-14 05:45 |
| z3-4.12.2 | 2.4 KiB | 2023-Dec-15 07:14 |
| wxmaxima-23.11.0 | 1.2 KiB | 2023-Dec-23 18:44 |
| eprover-3.0_pre008 | 546 B | 2023-Dec-26 14:20 |
| spin-6.5.2-r1 | 694 B | 2023-Dec-26 14:20 |
| sympow-2.023.6 | 517 B | 2023-Dec-26 14:20 |
| normaliz-3.9.3 | 679 B | 2023-Dec-26 14:20 |
| kissat-3.1.1 | 523 B | 2023-Dec-26 14:20 |
| mathematica-13.0.0 | 676 B | 2023-Dec-26 14:20 |
| dsfmt-2.2.4 | 514 B | 2023-Dec-26 14:20 |
| frobby-0.9.0-r4 | 550 B | 2023-Dec-26 14:20 |
| cadical-1.5.3-r1 | 427 B | 2023-Dec-26 14:20 |
| mathematica-12.1.0 | 671 B | 2023-Dec-26 14:20 |
| kissat-3.1.0 | 523 B | 2023-Dec-26 14:20 |
| ent-101202 | 520 B | 2023-Dec-26 14:20 |
| cadical-1.8.0 | 427 B | 2023-Dec-26 14:20 |
| gimps-30.8.17 | 758 B | 2023-Dec-26 14:20 |
| mathematica-10.3.1-r1 | 671 B | 2023-Dec-26 14:20 |
| gimps-30.8.15 | 881 B | 2023-Dec-26 14:20 |
| mathematica-12.2.0 | 671 B | 2023-Dec-26 14:20 |
| picosat-965 | 392 B | 2023-Dec-26 14:20 |
| prover9-2009.11a | 539 B | 2023-Dec-26 14:20 |
| gimps-30.7.9 | 877 B | 2023-Dec-26 14:20 |
| sha1-polyml-5.9 | 452 B | 2023-Dec-26 14:20 |
| abc-0_p20230313 | 642 B | 2023-Dec-26 14:20 |
| gmp-ecm-7.0.5-r1 | 685 B | 2023-Dec-26 14:20 |
| calc-2.13.0.1 | 608 B | 2023-Dec-26 14:20 |
| mathematica-12.1.1-r1 | 671 B | 2023-Dec-26 14:20 |
| form-4.3.0-r1 | 1.3 KiB | 2023-Dec-27 21:11 |
| z3-4.12.3 | 2.4 KiB | 2024-Jan-05 20:43 |
| mathematica-13.0.1 | 1.0 KiB | 2024-Jan-08 12:14 |
| mathematica-13.3.1 | 1.5 KiB | 2024-Jan-08 12:14 |
| mathematica-13.2.1 | 1.1 KiB | 2024-Jan-08 12:14 |
| mathematica-13.1.0 | 1.1 KiB | 2024-Jan-08 12:14 |
| geogebra-bin-6.0.804.0 | 1.0 KiB | 2024-Jan-10 13:41 |
| gappa-1.4.1 | 644 B | 2024-Jan-12 15:11 |
| cvc4-1.8-r4 | 1.3 KiB | 2024-Jan-14 19:41 |
| lean-4.2.0_rc4 | 987 B | 2024-Jan-14 19:41 |
| cadabra-2.4.3.2-r1 | 2.8 KiB | 2024-Jan-14 19:41 |
| psmt2-frontend-0.2 | 1.0 KiB | 2024-Jan-15 16:41 |
| eclib-20230424 | 1.1 KiB | 2024-Jan-15 16:41 |
| nauty-2.8.6-r1 | 1.0 KiB | 2024-Jan-15 16:41 |
| coq-mathcomp-1.19.0 | 442 B | 2024-Jan-15 21:41 |
| gappa-1.4.2 | 644 B | 2024-Jan-15 21:41 |
| coq-8.18.0 | 1.4 KiB | 2024-Jan-16 06:12 |
| gap-4.12.2-r3 | 1.5 KiB | 2024-Jan-22 12:12 |
| z3-4.12.4 | 2.4 KiB | 2024-Jan-27 17:44 |
| gap-4.12.2-r4 | 1.5 KiB | 2024-Feb-05 15:40 |
| gap-4.13.0_alpha1 | 1.1 KiB | 2024-Feb-07 21:40 |
| cadical-1.9.4 | 427 B | 2024-Feb-08 10:41 |
| wxmaxima-23.10.0 | 1.2 KiB | 2024-Feb-12 16:44 |
| octave-8.3.0 | 4.3 KiB | 2024-Feb-12 16:44 |
| cryptominisat-5.11.14 | 863 B | 2024-Feb-12 16:44 |
| wxmaxima-23.07.0 | 1.2 KiB | 2024-Feb-12 16:44 |
| wxmaxima-24.02.0 | 1.2 KiB | 2024-Feb-12 16:44 |
| cgal-5.5 | 1.1 KiB | 2024-Feb-12 16:44 |
| octave-8.1.0 | 4.3 KiB | 2024-Feb-12 16:44 |
| giac-1.9.0.67 | 1.9 KiB | 2024-Feb-12 16:44 |
| wxmaxima-23.12.0 | 1.2 KiB | 2024-Feb-12 16:44 |
| octave-7.3.0-r2 | 4.3 KiB | 2024-Feb-12 16:44 |
| cgal-5.5.2 | 1.2 KiB | 2024-Feb-12 16:44 |
| octave-8.2.0 | 4.3 KiB | 2024-Feb-12 16:44 |
| prover9-2009.11a-r1 | 539 B | 2024-Feb-14 17:10 |
| eprover-3.0.03 | 539 B | 2024-Feb-19 21:10 |
| gap-4.13.0_alpha2 | 1.1 KiB | 2024-Feb-21 00:10 |
| cadical-1.9.5 | 427 B | 2024-Mar-04 22:10 |
| palp-2.21 | 574 B | 2024-Mar-06 14:44 |
| ginac-1.8.6 | 852 B | 2024-Mar-08 06:13 |
| z3-4.12.5 | 2.4 KiB | 2024-Mar-08 06:13 |
| plfit-0.9.4 | 779 B | 2024-Mar-08 22:40 |
| z3-4.12.6 | 2.4 KiB | 2024-Mar-16 17:41 |
| gimps-30.19.13 | 904 B | 2024-Mar-20 21:10 |
| octave-8.3.0-r1 | 4.3 KiB | 2024-Mar-29 19:16 |
| dunshire-0.1.1-r3 | 1.7 KiB | 2024-Apr-01 10:14 |
| petsc-3.17.1-r1 | 1.9 KiB | 2024-Apr-01 10:14 |
| petsc-3.16.0-r1 | 2.2 KiB | 2024-Apr-01 10:14 |
| petsc-3.18.2 | 2.0 KiB | 2024-Apr-01 10:14 |
| petsc-3.19.1 | 2.0 KiB | 2024-Apr-01 10:14 |
| cadabra-2.4.4.1 | 2.8 KiB | 2024-Apr-01 10:14 |
| petsc-3.19.4 | 2.0 KiB | 2024-Apr-01 10:14 |
| petsc-3.19.2 | 2.0 KiB | 2024-Apr-01 10:14 |
| boolector-3.2.2_p20220110 | 1.9 KiB | 2024-Apr-01 10:14 |
| abc-9999 | 601 B | 2024-Apr-01 10:14 |
| petsc-3.20.5 | 2.0 KiB | 2024-Apr-01 10:14 |
| smtinterpol-2.5_p20211018 | 920 B | 2024-Apr-11 08:11 |
| gimps-30.19.14 | 912 B | 2024-Apr-14 16:40 |
| cadabra-2.4.5.5 | 3.6 KiB | 2024-Apr-17 22:40 |
| dunshire-0.1.1-r4 | 2.0 KiB | 2024-Apr-19 19:12 |
| alectryon-1.4.0-r1 | 2.5 KiB | 2024-Apr-19 19:12 |
| jags-4.3.0 | 648 B | 2024-Apr-30 18:41 |
| mathmod-4.1-r1 | 741 B | 2024-Apr-30 18:41 |
| jags-4.3.1 | 648 B | 2024-Apr-30 18:41 |
| lpsolve-5.5.2.11-r2 | 556 B | 2024-Apr-30 18:41 |
| msieve-1.53-r1 | 701 B | 2024-Apr-30 18:41 |
| metamath-0.198 | 765 B | 2024-May-03 12:43 |
| normaliz-3.10.1 | 1.0 KiB | 2024-May-03 12:43 |
| why3-for-spark-2021-r1 | 2.1 KiB | 2024-May-03 12:43 |
| yices2-2.6.4-r1 | 963 B | 2024-May-03 12:43 |
| nauty-2.8.8-r1 | 1.1 KiB | 2024-May-03 12:43 |
| why3-1.6.0 | 2.0 KiB | 2024-May-03 12:43 |
| nauty-2.8.8 | 1.1 KiB | 2024-May-03 12:43 |
| euler-1.61.0-r1 | 837 B | 2024-May-03 12:43 |
| prng-3.0.2-r3 | 783 B | 2024-May-03 12:43 |
| 4ti2-1.6.7-r1 | 910 B | 2024-May-03 12:43 |
| genius-1.0.27 | 1.6 KiB | 2024-May-03 12:43 |
| unuran-1.9.0 | 1.1 KiB | 2024-May-03 12:43 |
| eclib-20231212 | 1.1 KiB | 2024-May-03 12:43 |
| fricas-1.3.10 | 1.1 KiB | 2024-May-06 17:40 |
| twelf-1.7.1-r2 | 649 B | 2024-May-06 17:40 |
| fricas-1.3.9-r3 | 1.1 KiB | 2024-May-06 17:40 |
| gretl-2021d | 1.9 KiB | 2024-May-06 17:40 |
| singular-4.3.2_p16 | 1.4 KiB | 2024-May-06 17:40 |
| acl2-8.5_p20240307 | 705 B | 2024-May-06 17:40 |
| acl2-8.5-r2 | 648 B | 2024-May-06 17:40 |
| cubicle-1.2.0-r2 | 1.1 KiB | 2024-May-06 17:40 |
| gap-4.13.0 | 1.1 KiB | 2024-May-08 07:40 |
| ginac-1.8.7-r1 | 862 B | 2024-May-08 18:43 |
| pspp-1.6.2-r2 | 1.6 KiB | 2024-May-08 18:43 |
| slepc-3.20.1 | 1.0 KiB | 2024-May-08 18:43 |
| slepc-3.19.0 | 1.0 KiB | 2024-May-08 18:43 |
| ginac-1.8.7-r2 | 874 B | 2024-May-08 18:43 |
| slepc-3.19.1 | 1.0 KiB | 2024-May-08 18:43 |
| gsl-shell-2.3.2 | 1.2 KiB | 2024-May-08 18:43 |
| slepc-3.18.1 | 968 B | 2024-May-08 18:43 |
| singular-4.3.2_p10 | 1.1 KiB | 2024-May-12 05:46 |
| otter-3.3-r4 | 611 B | 2024-May-12 05:46 |
| fann-2.2.0-r1 | 731 B | 2024-May-12 05:46 |
| octave-8.3.0-r2 | 4.3 KiB | 2024-May-12 05:46 |
| cadabra-2.4.5.7 | 3.6 KiB | 2024-May-12 05:46 |
| cryptominisat-5.11.15 | 863 B | 2024-May-12 05:46 |
| yafu-1.34.3-r1 | 734 B | 2024-May-12 05:46 |
| libpoly-0.1.11 | 1.6 KiB | 2024-May-12 05:46 |
| giac-1.9.0.29-r1 | 1.9 KiB | 2024-May-12 05:46 |
| stp-2.3.3-r3 | 2.1 KiB | 2024-May-12 05:46 |
| lean-4.2.0 | 978 B | 2024-May-12 05:46 |
| plfit-0.9.3 | 777 B | 2024-May-12 05:46 |
| petsc-3.16.0-r2 | 2.2 KiB | 2024-May-12 05:46 |
| z3-4.13.0 | 2.4 KiB | 2024-May-12 05:46 |
| pari-2.15.5 | 1.1 KiB | 2024-May-12 05:46 |
| primesieve-11.0 | 867 B | 2024-May-12 05:46 |
| dataplot-20131220 | 1.3 KiB | 2024-May-12 05:46 |
| glpk-5.0-r2 | 1.3 KiB | 2024-May-12 05:46 |
| slepc-3.16.0 | 979 B | 2024-May-12 05:46 |
| rkward-0.7.5 | 2.4 KiB | 2024-May-12 05:46 |
| nestedsums-1.5.2-r1 | 660 B | 2024-May-12 05:46 |
| bertini-1.4 | 613 B | 2024-May-12 05:46 |
| pari-2.15.4-r1 | 1.1 KiB | 2024-May-12 05:46 |
| cadabra-2.4.5.4 | 3.5 KiB | 2024-May-12 05:46 |
| bertini-1.6 | 665 B | 2024-May-12 05:46 |
| arb-2.23.0 | 989 B | 2024-May-12 05:46 |
| topcom-0.17.8-r3 | 1.1 KiB | 2024-May-12 05:46 |
| gmm-5.4 | 534 B | 2024-May-12 05:46 |
| petsc-3.19.1-r1 | 2.0 KiB | 2024-May-12 05:46 |
| cadabra-2.4.5.6 | 3.6 KiB | 2024-May-12 05:46 |
| flint-3.0.1 | 1.3 KiB | 2024-May-12 05:46 |
| minisat-2.2.1-r1 | 871 B | 2024-May-12 05:46 |
| wxmaxima-24.02.2 | 1.2 KiB | 2024-May-12 05:46 |
| slepc-3.17.1 | 979 B | 2024-May-12 05:46 |
| flint-3.1.0 | 1.3 KiB | 2024-May-12 05:46 |
| maxima-5.46.0-r1 | 2.9 KiB | 2024-May-12 05:46 |
| gfan-0.6.2-r4 | 698 B | 2024-May-12 05:46 |
| petsc-3.17.1-r2 | 2.0 KiB | 2024-May-12 05:46 |
| opensmt-2.5.2 | 1.1 KiB | 2024-May-12 05:46 |
| geomview-1.9.5-r1 | 1.1 KiB | 2024-May-12 05:46 |
| primecount-7.6 | 939 B | 2024-May-12 05:46 |
| vampire-4.8 | 956 B | 2024-May-12 05:46 |
| verifpal-0.27.0 | 810 B | 2024-May-12 05:46 |
| petsc-3.20.5-r1 | 2.0 KiB | 2024-May-12 05:46 |
| petsc-3.19.4-r1 | 2.0 KiB | 2024-May-12 05:46 |
| flint-2.9.0 | 1.2 KiB | 2024-May-12 05:46 |
| diagrtb-2.64 | 950 B | 2024-May-12 05:46 |
| mathlib-tools-1.3.2_p1 | 4.4 KiB | 2024-May-12 05:46 |
| petsc-3.18.2-r1 | 2.0 KiB | 2024-May-12 05:46 |
| alectryon-1.4.0-r2 | 3.1 KiB | 2024-May-12 05:46 |
| boolector-3.2.3 | 2.0 KiB | 2024-May-12 05:46 |
| polymake-4.11 | 1.7 KiB | 2024-May-12 05:46 |
| glpk-5.0-r1 | 1.2 KiB | 2024-May-12 05:46 |
| cvc4-1.8-r5 | 1.4 KiB | 2024-May-12 05:46 |
| dunshire-0.1.3 | 2.1 KiB | 2024-May-12 05:46 |
| plfit-0.9.5 | 779 B | 2024-May-12 05:46 |
| form-5.0.0_beta1 | 1.4 KiB | 2024-May-12 05:46 |
| mathomatic-16.0.5-r1 | 695 B | 2024-May-12 05:46 |
| lean-3.51.1 | 889 B | 2024-May-12 05:46 |
| gsl-shell-2.3.5 | 1.5 KiB | 2024-May-12 05:46 |
| wxmaxima-24.02.1 | 1.2 KiB | 2024-May-12 05:46 |
| cgal-5.6 | 1.2 KiB | 2024-May-12 05:46 |
| maxima-5.47.0 | 3.0 KiB | 2024-May-12 05:46 |
| fann-9999 | 735 B | 2024-May-12 05:46 |
| form-4.3.1 | 1.3 KiB | 2024-May-12 05:46 |
| giac-1.9.0.93 | 1.9 KiB | 2024-May-12 05:46 |
| petsc-3.19.2-r1 | 2.0 KiB | 2024-May-12 05:46 |
| yacas-1.9.1-r1 | 1.6 KiB | 2024-May-12 05:46 |
| cryptominisat-5.11.21 | 863 B | 2024-May-12 05:46 |
| btor2tools-1.0.0_pre20220518-r1 | 799 B | 2024-May-12 05:46 |
| coq-serapi-0.19.0 | 1.3 KiB | 2024-May-14 09:41 |
| alt-ergo-9999 | 1.3 KiB | 2024-May-14 09:41 |
| psmt2-frontend-0.4.0 | 828 B | 2024-May-14 09:41 |
| proverif-2.04-r1 | 773 B | 2024-May-14 09:41 |
| proverif-9999 | 769 B | 2024-May-14 09:41 |
| easycrypt-2024.01 | 1.1 KiB | 2024-May-14 09:41 |
| coq-8.19.1 | 1.4 KiB | 2024-May-14 09:41 |
| easycrypt-2023.09 | 1.2 KiB | 2024-May-14 09:41 |
| proverif-2.05 | 759 B | 2024-May-14 09:41 |
| coq-8.19.0 | 1.4 KiB | 2024-May-14 09:41 |
| alt-ergo-2.4.3 | 1.3 KiB | 2024-May-14 09:41 |
| kind2-1.9.0 | 851 B | 2024-May-14 09:41 |
| topcom-1.1.2 | 1.0 KiB | 2024-May-15 23:11 |
| Manifest.gz | 28.7 KiB | 2024-May-15 23:11 |
This mirror is maintained by i3D.net.