| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 44 hours | Activate the typed aggregate library | adelon | |
| 47 hours | Migrate meet semilattices | adelon | |
| 48 hours | Migrate loops to exact checking | adelon | |
| 8 days | Authorize ground reflexivity through kernel replay | adelon | |
| The first typed fact family is deliberately dependency-free. Its rows remain outside the legacy fact registry, so unmigrated declarations cannot consume or reauthorize them. | |||
| 2025-11-27 | Update errors and cull formalizations | adelon | |
| 2025-07-04 | Update filename | adelon | |
| 2024-08-27 | working commit | Simon-Kor | |
| 2024-07-21 | Further Formalisation on numbers | Simon-Kor | |
| 2024-06-26 | Working at the numbers.tex | Simon-Kor | |
| 2024-06-25 | definition of equivalence_from_partition can proof false in everything.tex | Simon-Kor | |
| 2024-04-30 | Adding the first formalisation of reals | 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-03-31 | Possible_Bug | Simon-Kor | |
| In File test.tex line 51 could not be proven, error massage is in the new file error.txt | |||
| 2024-02-10 | Initial commit | adelon | |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |