felix.git/latex/stdlib.tex, 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-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 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 Formalisation of groups and monoids 2024-04-11T11:37:03+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-04-11T11:37:03+00:00 urn:sha1:15deff4df111d86c84d808f1c9cc4e30013287d0 The test.tex file was deleted and all formalisations of groups and monoids was moved to the fitting document of the library. Some proof steps of the new formalisation were optimized for proof time Possible_Bug 2024-03-31T16:57:17+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-03-31T16:57:17+00:00 urn:sha1:9abb88060e5bb6405e603dcbe499794e3e181040 In File test.tex line 51 could not be proven, error massage is in the new file error.txt Initial commit 2024-02-10T01:22:14+00:00 adelon 22380201+adelon@users.noreply.github.com 2024-02-10T01:22:14+00:00 urn:sha1:442d732696ad431b84f6e5c72b6ee785be4fd968