naproche-zf.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2024-09-23	Abgabe	Simon-Kor
2024-09-23	working commit	Simon-Kor
2024-09-18	Ambiguous parse	Simon-Kor
2024-09-18	working commit	Simon-Kor
2024-09-17	working commit	Simon-Kor
2024-09-17	Corrected Math Env Parsing	Simon-Kor
2024-09-16	Topo Space Real Verfication	Simon-Kor
2024-09-16	working commit	Simon-Kor
2024-09-16	Finished proof of topological basis	Simon-Kor
2024-09-16	working commit	Simon-Kor
2024-09-16	Missmatched Assume Error found. not fixed	Simon-Kor
2024-09-15	Fix Assume Issue	Simon-Kor
2024-09-15	Issue at Fixing.	Simon-Kor
2024-09-05	Precondtion failed in line 161 urysohn2.tex	Simon-Kor
2024-09-05	working commit	Simon-Kor
2024-09-04	working commit	Simon-Kor
2024-09-04	Mismatched Assume in Induction	Simon-Kor
2024-09-03	working commit	Simon-Kor
2024-09-03	Finished induction begin	Simon-Kor
2024-09-02	working commit	Simon-Kor
2024-09-02	working commit	Simon-Kor
2024-09-02	Corrected Contradiction.	Simon-Kor
2024-08-31	Contradiction in sequence	Simon-Kor
2024-08-31	working commit	Simon-Kor
2024-08-30	working commit	Simon-Kor
2024-08-29	working commit	Simon-Kor
2024-08-28	working commit	Simon-Kor
2024-08-27	working commit	Simon-Kor
2024-08-27	Feature Complete	Simon-Kor
2024-08-27	ambigus parse fix. The proof goal must be changed,	Simon-Kor
2024-08-27	Experimental working commit, programm will compile	Simon-Kor
2024-08-24	naproch sty extension	Simon-Kor
2024-08-14	The added proposition and definition should have	Simon-Kor
2024-08-13	less urysohn	Simon-Kor
2024-08-12	way way way way more urysohn	Simon-Kor
2024-08-12	way way way more urysohn	Simon-Kor
2024-08-12	way way more urysohn	Simon-Kor
2024-08-12	way more urysohn	Simon-Kor
2024-08-12	Completed the structure of the proof of Urysohn.	Simon-Kor
2024-08-12	more more way more urysohn	Simon-Kor
2024-08-11	more more more urysohn	Simon-Kor
2024-08-10	more more urysohn	Simon-Kor
2024-08-10	more urysohn	Simon-Kor
2024-08-10	more ur<sohn	Simon-Kor
2024-08-09	put cardinalit to the right place	Simon-Kor
2024-08-07	Created first urysohn formalization	Simon-Kor
2024-06-25	[Stable] Implented continuous.tex and omitted some proves	Simon-Kor
2024-06-25	Improvement for the ATP proof time	Simon-Kor
2024-06-20	[Stable] Topologgical-space.tex	Simon-Kor
2024-06-20	[Report] Task failed and was proven in the same time.	Simon-Kor