summaryrefslogtreecommitdiff
path: root/library/topology
AgeCommit message (Expand)Author
2024-09-02working commitSimon-Kor
2024-09-02working commitSimon-Kor
2024-09-02Corrected Contradiction.Simon-Kor
2024-08-31Contradiction in sequenceSimon-Kor
2024-08-31working commitSimon-Kor
2024-08-30working commitSimon-Kor
2024-08-29working commitSimon-Kor
2024-08-28working commitSimon-Kor
2024-08-27working commitSimon-Kor
2024-08-27Feature CompleteSimon-Kor
2024-08-27ambigus parse fix. The proof goal must be changed,Simon-Kor
2024-08-27Experimental working commit, programm will compileSimon-Kor
2024-08-24naproch sty extensionSimon-Kor
2024-08-14The added proposition and definition should haveSimon-Kor
2024-08-13less urysohnSimon-Kor
2024-08-12way way way way more urysohnSimon-Kor
2024-08-12way way way more urysohnSimon-Kor
2024-08-12way way more urysohnSimon-Kor
2024-08-12way more urysohnSimon-Kor
2024-08-12Completed the structure of the proof of Urysohn.Simon-Kor
2024-08-12more more way more urysohnSimon-Kor
2024-08-11more more more urysohnSimon-Kor
2024-08-10more more urysohnSimon-Kor
2024-08-10more urysohnSimon-Kor
2024-08-10more ur<sohnSimon-Kor
2024-08-09put cardinalit to the right placeSimon-Kor
2024-08-07Created first urysohn formalizationSimon-Kor
2024-06-25[Stable] Implented continuous.tex and omitted some provesSimon-Kor
2024-06-25Improvement for the ATP proof timeSimon-Kor
2024-06-20[Stable] Topologgical-space.texSimon-Kor
2024-06-20[Report] Task failed and was proven in the same time.Simon-Kor
2024-06-18Merge remote-tracking branch 'upstream/main'Simon-Kor
2024-06-18Definition of T3 and regular spaces.Simon-Kor
2024-06-18Update topological-space.texadelon
2024-06-17Completed proofs [stable]Simon-Kor
2024-06-16First implementation of basic relations of closed and open.Simon-Kor
2024-06-12Prove Bug "Ex falso quodlibet"Simon-Kor
2024-06-11proof of complement_interior_eq_closure_complement and some more about clousu...Simon-Kor
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 branch 'main' into mainSimon-Kor
2024-05-28unexpected behavior of vampireSimon-Kor
2024-05-28Update `inters_in_genopens`adelon
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-22Update label for `genopens`adelon
2024-05-21Allow line breaks via `\textbox`, handle `\left`/`\right`adelon
2024-05-16Fix missing `\text`adelon
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 10:11:37 +0000