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