| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-05-14 | Merge branch 'adelon:main' into main | Simon-Kor | |
| 2024-05-14 | work on metric spaces | Simon-Kor | |
| 2024-05-14 | Update basis.tex | adelon | |
| 2024-05-07 | Merge branch 'adelon:main' into main | Simon-Kor | |
| 2024-05-07 | formalisation mertic optimized | Simon-Kor | |
| 2024-05-07 | Sketch noun coord, symbols for reals | adelon | |
| 2024-05-07 | Sketch lexicon mechanism | adelon | |
| 2024-05-07 | Clean up of Notation in numbers.tex | Simon-Kor | |
| First notation of tupels in the relation set was swapped with the canonical <. | |||
| 2024-05-07 | Formalization of metric spaces and some cleaning of numbers.tex | Simon-Kor | |
| Formalization of metric spaces: Therefore we introduced the predicate metric and its axiomatization. Then we introduced the term metric space in dependence of a metric function. This metric space is automatically a a topological space. | |||
| 2024-04-30 | Adding the first formalisation of reals | Simon-Kor | |
| 2024-04-13 | first formalisation of addition on naturals | Simon-Kor | |
| We try to Implement the Addition on natural numbers by a relation on N \times N to N such that some of the axioms of the addition holds | |||
| 2024-04-11 | Set the Headline Order for the corresponding section | 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 : naproche-zf.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |