summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-06-05Update Megalodon.hsadelon
2024-06-04Proof of teetwo_space_is_teeone_spaceSimon-Kor
2024-06-04Proof of teeone_implies_singletons_closedSimon-Kor
2024-06-04Some notation fixes and lemma for topo basis generats opens was proofed and o...Simon-Kor
2024-05-28Merge pull request #2 from adelon/mainSimon-Kor
2024-05-28Merge branch 'main' into mainSimon-Kor
2024-05-28unexpected behavior of vampireSimon-Kor
2024-05-28Update `inters_in_genopens`adelon
2024-05-28Pow closed under binary intersectionadelon
2024-05-28Merge branch 'main' into mainSimon-Kor
2024-05-28proofing some lammes about topological basisSimon-Kor
2024-05-25Prove `emptyset_open` to replace structure axiomadelon
2024-05-23Update formattingadelon
2024-05-22Update filter.texadelon
2024-05-22Add filter lemmasadelon
2024-05-22Add lemma `filter_setminus_in`adelon
2024-05-22Update label for `genopens`adelon
2024-05-22Update defaulting for envvaradelon
2024-05-22Allow `\left` and `\right` everywhereadelon
2024-05-21Allow line breaks via `\textbox`, handle `\left`/`\right`adelon
2024-05-21Add definition for `\genOpens`adelon
2024-05-21Add simple lemmas on filtersadelon
2024-05-16Attach whitespace info to located tokenadelon
2024-05-16Fix missing `\text`adelon
2024-05-14Merge branch 'adelon:main' into mainSimon-Kor
2024-05-14work on metric spacesSimon-Kor
2024-05-14Update Api.hsadelon
2024-05-14Update basis.texadelon
2024-05-07Merge branch 'adelon:main' into mainSimon-Kor
2024-05-07Update noun guessingadelon
2024-05-07Merge branch 'adelon:main' into mainSimon-Kor
2024-05-07formalisation mertic optimizedSimon-Kor
2024-05-07Sketch noun coord, symbols for realsadelon
2024-05-07Sketch lexicon mechanismadelon
2024-05-07Clean up of Notation in numbers.texSimon-Kor
2024-05-07Formalization of metric spaces and some cleaning of numbers.texSimon-Kor
2024-04-30Merge branch 'adelon:main' into mainSimon-Kor
2024-04-30Adding the first formalisation of realsSimon-Kor
2024-04-30Sketch new signature syntaxadelon
2024-04-13first formalisation of addition on naturalsSimon-Kor
2024-04-11Set the Headline Order for the corresponding sectionSimon-Kor
2024-04-11Merge pull request #1 from adelon/mainSimon-Kor
2024-04-11Formalisation of groups and monoidsSimon-Kor
2024-04-01Allow numbers in markers (from the second char)adelon
2024-03-31Report_in_text_fileSimon-Kor
2024-03-31Possible_BugSimon-Kor
2024-03-28Merge pull request #1 from Simon-Kor/mainadelon
2024-03-28Allow Windows-style newlinesSimon-Kor
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 14:37:49 +0000