| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-04-30 | Sketch new signature syntax | adelon | |
| 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 | Merge pull request #1 from adelon/main | Simon-Kor | |
| Update Fork | |||
| 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-04-01 | Allow numbers in markers (from the second char) | adelon | |
| 2024-03-31 | Report_in_text_file | Simon-Kor | |
| Txt File Error.txt has been filled | |||
| 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-03-28 | Merge pull request #1 from Simon-Kor/main | adelon | |
| Allow Windows-style newlines | |||
| 2024-03-28 | Allow Windows-style newlines | Simon-Kor | |
| 2024-02-10 | Initial commit | adelon | |
 |
index : naproche-zf.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |