summaryrefslogtreecommitdiff
path: root/source
AgeCommit message (Expand)Author
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-12way way more urysohnSimon-Kor
2024-08-12more more way more urysohnSimon-Kor
2024-08-07Created first urysohn formalizationSimon-Kor
2024-07-06Formalisation of rationals.Simon-Kor
2024-07-06Formalisation of integers.Simon-Kor
2024-06-25Add `\neg`adelon
2024-06-10Dedupe helper functionadelon
2024-06-05Update Megalodon.hsadelon
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-16Attach whitespace info to located tokenadelon
2024-05-14Update Api.hsadelon
2024-05-07Update noun guessingadelon
2024-05-07Sketch noun coord, symbols for realsadelon
2024-05-07Sketch lexicon mechanismadelon
2024-04-01Allow numbers in markers (from the second char)adelon
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 09:04:59 +0000