summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-09-17working commitSimon-Kor
2024-09-17Corrected Math Env ParsingSimon-Kor
2024-09-16Topo Space Real VerficationSimon-Kor
2024-09-16working commitSimon-Kor
2024-09-16Finished proof of topological basisSimon-Kor
2024-09-16working commitSimon-Kor
2024-09-16Missmatched Assume Error found. not fixedSimon-Kor
2024-09-15Fix Assume IssueSimon-Kor
2024-09-15Issue at Fixing.Simon-Kor
2024-09-05Precondtion failed in line 161 urysohn2.texSimon-Kor
2024-09-05working commitSimon-Kor
2024-09-04working commitSimon-Kor
2024-09-04Mismatched Assume in InductionSimon-Kor
2024-09-03working commitSimon-Kor
2024-09-03Finished induction beginSimon-Kor
2024-09-03Inculde hot fix in working branchSimon-Kor
2024-09-03Hot fixSimon-Kor
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-26Implemented the checking for local functions.Simon-Kor
2024-08-26Non finished attemped to translate a localSimon-Kor
2024-08-26I implemented a parsing rule in concrete.hsSimon-Kor
2024-08-24First atemped to write a new way of local function defintionSimon-Kor
2024-08-24hlint suggestionSimon-Kor
2024-08-24Added/Fixed commentsSimon-Kor
2024-08-24naproch sty extensionSimon-Kor
2024-08-14some wishes for NaprocheZFSimon-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-09fixed axiomatic errorSimon-Kor
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 09:06:17 +0000