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

Age	Commit message (Collapse)	Author
2024-08-27	Experimental working commit, programm will compile	Simon-Kor
	But the Proof that the domain of the local function is not right. Also if in the definition of our local function we just use f(x) = x then we get a technical ambigus parse
2024-08-26	Implemented the checking for local functions.	Simon-Kor

2024-08-26	Non finished attemped to translate a local	Simon-Kor
	function defintion from abstract to internal
2024-08-26	I implemented a parsing rule in concrete.hs	Simon-Kor
	for local functions and a abstract type in abstract.hs for the proof data structure.
2024-08-24	First atemped to write a new way of local function defintion	Simon-Kor

2024-08-24	hlint suggestion	Simon-Kor

2024-08-24	Added/Fixed comments	Simon-Kor

2024-08-12	way way more urysohn	Simon-Kor

2024-08-12	more more way more urysohn	Simon-Kor

2024-08-07	Created first urysohn formalization	Simon-Kor

2024-07-06	Formalisation of rationals.	Simon-Kor

2024-07-06	Formalisation of integers.	Simon-Kor

2024-06-25	Add `\neg`	adelon

2024-06-10	Dedupe helper function	adelon

2024-06-05	Update Megalodon.hs	adelon

2024-05-22	Update defaulting for envvar	adelon

2024-05-22	Allow `\left` and `\right` everywhere	adelon

2024-05-21	Allow line breaks via `\textbox`, handle `\left`/`\right`	adelon

2024-05-16	Attach whitespace info to located token	adelon

2024-05-14	Update Api.hs	adelon

2024-05-07	Update noun guessing	adelon

2024-05-07	Sketch noun coord, symbols for reals	adelon

2024-05-07	Sketch lexicon mechanism	adelon

2024-04-01	Allow numbers in markers (from the second char)	adelon

2024-03-28	Allow Windows-style newlines	Simon-Kor

2024-02-10	Initial commit	adelon