felix.git/library/algebra, branch hotg Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/felix.git/atom?h=hotg 2026-08-03T12:24:55+00:00 Migrate quasigroups to exact checking 2026-08-03T12:24:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:24:55+00:00 urn:sha1:e6244775521a4396b34349737079ccf13115f340 Migrate monoids to exact checking 2026-08-03T12:22:55+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:22:55+00:00 urn:sha1:efca63727c4787f374e41a79d7ac047bfb43ddf2 Migrate semigroups to exact checking 2026-08-03T12:20:38+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:20:38+00:00 urn:sha1:d2a563b7c9f2e66613d513c7b948e20775b5660d Migrate magma to exact checking 2026-08-03T12:17:43+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-08-03T12:17:43+00:00 urn:sha1:9f61f4fde7578ad60f0518adcd4f4a6e403eba64 Build module-local syntax interfaces 2026-07-30T21:13:36+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-07-30T21:13:36+00:00 urn:sha1:0f0b966d958464f08b6efa39f9eee38d96509c19 Add `lexiconAllPatterns`, basic warning for dupe pattern 2026-02-05T19:25:59+00:00 adelon 22380201+adelon@users.noreply.github.com 2026-02-05T19:25:59+00:00 urn:sha1:d975e071f2563a2169e7a5ee65bc47d52000495d 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 Abgabe 2024-09-23T01:05:41+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-09-23T01:05:41+00:00 urn:sha1:f6b22fd533bd61e9dbcb6374295df321de99b1f2 working commit 2024-08-31T16:02:42+00:00 Simon-Kor 52245124+Simon-Kor@users.noreply.github.com 2024-08-31T16:02:42+00:00 urn:sha1:26cf156763f71aaa9f638408ba4bffb85b886ab0 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