circuits/Nat, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2025-12-09T19:26:36+00:00 Update Nat properties 2025-12-09T19:26:36+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-12-09T19:26:36+00:00 urn:sha1:b5e583bb067749f80bd3f7e24e807674eba8b394 Generalize coequalizer result to arbitrary category 2024-08-24T17:59:59+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-08-24T17:59:59+00:00 urn:sha1:dc3b799d6f9cdd4fb0b2b32f323b7128ccc14a80 Define coequalizers and pushouts in Nat 2024-04-25T22:38:21+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-04-25T22:38:21+00:00 urn:sha1:c3982b7fd9561fec34e60b28c0f20f03e9926f81 Add base case coequalizers in Nat 2024-04-24T19:26:35+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2024-04-24T19:26:35+00:00 urn:sha1:7de733feae4f391cc4738e23906e7d1f48bd2e0d