| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 08-Sep-2020 | 21 | ||
| 0/ | H | 01-Feb-2020 | 13 | |
| 1/ | H | 09-Nov-2020 | 87 | |
| AI/ | H | 22-Oct-2020 | 7 | |
| bag/ | H | 06-Aug-2020 | 14 | |
| basicProof/ | H | 09-Nov-2020 | 8 | |
| bool/ | H | 08-Sep-2020 | 9 | |
| Boolify/ | H | 25-Jul-2019 | 4 | |
| boss/ | H | 30-Nov-2020 | 15 | |
| coalgebras/ | H | 30-Nov-2020 | 11 | |
| combin/ | H | 10-Jul-2020 | 12 | |
| compute/ | H | 25-Jul-2019 | 5 | |
| coretypes/ | H | 09-Nov-2020 | 43 | |
| datatype/ | H | 29-Nov-2019 | 21 | |
| emit/ | H | 29-Nov-2019 | 15 | |
| experimental-kernel/ | H | 25-Jul-2019 | 10 | |
| finite_maps/ | H | 22-Oct-2020 | 50 | |
| float/ | H | 01-Mar-2020 | 5 | |
| floating-point/ | H | 11-Aug-2020 | 25 | |
| hol88/ | H | 25-Jul-2019 | 4 | |
| HolQbf/ | H | 25-Jul-2019 | 16 | |
| HolSat/ | H | 19-Apr-2020 | 20 | |
| HolSmt/ | H | 07-Jul-2020 | 21 | |
| holyhammer/ | H | 22-Oct-2020 | 32 | |
| IndDef/ | H | 09-Nov-2020 | 14 | |
| integer/ | H | 09-Nov-2020 | 65 | |
| list/ | H | 25-Jul-2019 | 4 | |
| lite/ | H | 25-Jul-2019 | 4 | |
| marker/ | H | 22-Oct-2020 | 9 | |
| meson/ | H | 25-Jul-2019 | 5 | |
| metis/ | H | 09-Apr-2020 | 86 | |
| monad/ | H | 22-Oct-2020 | 8 | |
| n-bit/ | H | 07-Dec-2020 | 32 | |
| new-datatype/ | H | 07-Jul-2020 | 9 | |
| num/ | H | 25-Jul-2019 | 9 | |
| opentheory/ | H | 19-Apr-2020 | 12 | |
| parse/ | H | 09-Nov-2020 | 92 | |
| pattern_matches/ | H | 09-Nov-2020 | 15 | |
| pfl/ | H | 25-Jul-2019 | 6 | |
| portableML/ | H | 09-Nov-2020 | 73 | |
| postkernel/ | H | 09-Nov-2020 | 25 | |
| pred_set/ | H | 25-Jul-2019 | 7 | |
| prekernel/ | H | 22-Oct-2020 | 34 | |
| probability/ | H | 05-Nov-2020 | 32 | |
| proofman/ | H | 08-Sep-2020 | 15 | |
| q/ | H | 29-Nov-2019 | 10 | |
| quantHeuristics/ | H | 17-Feb-2020 | 21 | |
| quotient/ | H | 25-Jul-2019 | 6 | |
| rational/ | H | 25-Jul-2019 | 31 | |
| real/ | H | 09-Nov-2020 | 46 | |
| refute/ | H | 25-Jul-2019 | 11 | |
| relation/ | H | 22-Oct-2020 | 6 | |
| res_quan/ | H | 25-Jul-2019 | 5 | |
| ring/ | H | 25-Jul-2019 | 4 | |
| search/ | H | 25-Jul-2019 | 5 | |
| simp/ | H | 25-Jul-2019 | 5 | |
| sort/ | H | 19-Aug-2020 | 16 | |
| string/ | H | 08-Sep-2020 | 23 | |
| tactictoe/ | H | 22-Oct-2020 | 7 | |
| taut/ | H | 25-Jul-2019 | 4 | |
| temporal/ | H | 25-Jul-2019 | 6 | |
| TeX/ | H | 08-Sep-2020 | 30 | |
| tfl/ | H | 25-Jul-2019 | 5 | |
| thm/ | H | 11-Jun-2020 | 9 | |
| topology/ | H | 11-Jun-2020 | 5 | |
| transfer/ | H | 05-Nov-2020 | 11 | |
| unwind/ | H | 25-Jul-2019 | 7 | |
| update/ | H | 25-Jul-2019 | 7 |