felix.git/latex, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T12:26:39+00:00 Migrate loops to exact checking 2026-08-03T12:26:39+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:26:39+00:00 urn:sha1:0bad0f480c3e800e5bcd93b9976098aad1dde803 Update errors and cull formalizations 2025-11-27T18:44:07+00:00 adelon 22380201+adelon@users.noreply.github.com 2025-11-27T18:44:07+00:00 urn:sha1:aa760e1989ccc2c7e45b6a3f111e5d5d3bc713b3 working commit 2024-09-16T17:37:27+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-16T17:37:27+00:00 urn:sha1:c021e79033abbb3fd4458304e701b3c54a284902 working commit 2024-09-16T09:34:01+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-16T09:34:01+00:00 urn:sha1:588c6ab14184cab4bb7df89def641acaafe3b7eb naproch sty extension 2024-08-24T09:43:29+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-24T09:43:29+00:00 urn:sha1:29027c9d2cdbdfe59e48b5aa28eb2d32d1a4c1f7 Further Formalisation on numbers 2024-07-21T10:26:20+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-07-21T10:26:20+00:00 urn:sha1:cbac8ca4a5bf8ff38af3e512956ea1e468965194 Merge branch 'main' into main 2024-05-28T14:26:19+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-05-28T14:26:19+00:00 urn:sha1:a6a83d15a866d7ba40dfc6b733cea14314da3b25 Allow line breaks via `\textbox`, handle `\left`/`\right` 2024-05-21T17:23:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-21T17:23:59+00:00 urn:sha1:d87aa179ade758a02a9b1609dadc07bf842df635 Add definition for `\genOpens` 2024-05-21T14:52:15+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-05-21T14:52:15+00:00 urn:sha1:1ea35d4861f29faa5d7eab25c7773c0d9b638b38 Adding the first formalisation of reals 2024-04-30T10:26:13+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-04-30T10:26:13+00:00 urn:sha1:cfd5061ced34f061e84ecca2a266f8f4cd01ce36