| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 37 hours | Migrate quasigroups to exact checking | adelon | |
| 37 hours | Migrate monoids to exact checking | adelon | |
| 37 hours | Migrate semigroups to exact checking | adelon | |
| 37 hours | Migrate magma to exact checking | adelon | |
| 5 days | Build module-local syntax interfaces | adelon | |
| 2026-02-05 | Add `lexiconAllPatterns`, basic warning for dupe pattern | adelon | |
| 2025-11-27 | Update errors and cull formalizations | adelon | |
| 2024-09-23 | Abgabe | Simon-Kor | |
| 2024-08-31 | working commit | Simon-Kor | |
| 2024-04-11 | Formalisation of groups and monoids | Simon-Kor | |
| The test.tex file was deleted and all formalisations of groups and monoids was moved to the fitting document of the library. Some proof steps of the new formalisation were optimized for proof time | |||
| 2024-02-10 | Initial commit | adelon | |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |