Topics:
- Github Notifications (4192 messages, latest: Apr 18 2024 at 17:05)
- ✔ Definition of `Z_ring` in the fscd2020 paper (4 messages, latest: Mar 04 2024 at 12:42)
- Definition of `Z_ring` in the fscd2020 paper (6 messages, latest: Mar 04 2024 at 10:25)
- Redundant Canonical Projections (2 messages, latest: Feb 16 2024 at 06:01)
- Missing join (3 messages, latest: Feb 15 2024 at 09:45)
- ✔ HB 1.7.0 release (1 message, latest: Feb 15 2024 at 09:14)
- ✔ False join in hierarchy (1 message, latest: Feb 15 2024 at 09:12)
- False join in hierarchy (16 messages, latest: Feb 13 2024 at 23:11)
- glob file of `short` pragma with HB (2 messages, latest: Jan 19 2024 at 08:33)
- HB 1.7.0 release (9 messages, latest: Jan 17 2024 at 12:17)
- Instance declaration takes nearly 30s... (4 messages, latest: Dec 26 2023 at 22:00)
- ✔ Importing Order.TTheory in the middle break the code (3 messages, latest: Dec 11 2023 at 13:38)
- Importing Order.TTheory in the middle break the code (1 message, latest: Dec 11 2023 at 12:56)
- Subsequences as a fintype (5 messages, latest: Dec 11 2023 at 08:06)
- ✔ Weird class coercion's body (2 messages, latest: Dec 08 2023 at 16:57)
- Weird class coercion's body (4 messages, latest: Dec 08 2023 at 15:00)
- ✔ coq-master vs. master (3 messages, latest: Dec 01 2023 at 19:53)
- ✔ Got issue #404 ;-) (1 message, latest: Nov 30 2023 at 15:49)
- Got issue #404 ;-) (1 message, latest: Nov 30 2023 at 08:05)
- Success ! FormalPowerSeries for MathComp 2 (4 messages, latest: Nov 28 2023 at 12:36)
- Projection value has no head constant. Is that bad ? (14 messages, latest: Nov 28 2023 at 08:51)
- ✔ Getting a definition/lemma outside a builder (1 message, latest: Nov 28 2023 at 08:40)
- ✔ Non canonical instance (1 message, latest: Nov 28 2023 at 08:40)
- Getting a definition/lemma outside a builder (13 messages, latest: Nov 27 2023 at 12:06)
- Non canonical instance (3 messages, latest: Nov 25 2023 at 11:55)
- Adding an elpi clause immediately after predicate definition (4 messages, latest: Nov 09 2023 at 16:25)
- Accessing predicates defined in tc (13 messages, latest: Nov 08 2023 at 08:58)
- ✔ More Tool Support (2 messages, latest: Nov 03 2023 at 16:26)
- More Tool Support (20 messages, latest: Nov 02 2023 at 13:17)
- Possibility of drop-in replacements in HB (13 messages, latest: Nov 02 2023 at 07:13)
- Non-forgetful inheritance and modules (1 message, latest: Oct 19 2023 at 18:58)
- Variable naming error (13 messages, latest: Oct 15 2023 at 01:48)
- Ignoring canonical projection (2 messages, latest: Oct 14 2023 at 10:08)
- HB logs (9 messages, latest: Sep 27 2023 at 10:59)
- PR bot accounts (14 messages, latest: Sep 20 2023 at 16:56)
- ✔ Release 1.6.0 (4 messages, latest: Sep 20 2023 at 14:34)
- Release 1.6.0 (1 message, latest: Sep 20 2023 at 13:58)
- ✔ opam install issue (18 messages, latest: Sep 18 2023 at 08:30)
- inheritance finite Type -> ordered Type (4 messages, latest: Sep 08 2023 at 06:30)
- question about product of structures (3 messages, latest: Sep 07 2023 at 23:53)
- input has no global reference (3 messages, latest: Jun 14 2023 at 16:05)
- Trouble with HB in Debian with Coq 8.17.0 (8 messages, latest: Jun 08 2023 at 09:33)
- Extending the topology heirarchy (9 messages, latest: Mar 27 2023 at 14:36)
- Version for Coq 8.17 (7 messages, latest: Feb 27 2023 at 12:52)
- Zulip looks strange for HB (1 message, latest: Feb 24 2023 at 15:47)
- Job offer (2 messages, latest: Dec 20 2022 at 10:55)
- ✔ Using a coerced `eqType` to instantiate a structure (15 messages, latest: Oct 27 2022 at 14:43)
- Isabelle locales vs. Hierarchy Builder (1 message, latest: Oct 15 2022 at 12:58)
- Comparing two structures of the same type (4 messages, latest: Oct 11 2022 at 15:30)
- Learning how to use HB (1 message, latest: Oct 04 2022 at 19:29)
- ✔ How should I go with ssralg's linear-like structure? (6 messages, latest: Sep 11 2022 at 14:13)
- ✔ Mixin towards non-HB mixin records (9 messages, latest: Sep 11 2022 at 12:28)
- Design patterns for additive vs. multiplicative structures (37 messages, latest: Sep 02 2022 at 20:52)
- ✔ Setting a parameter equal to the carrier (4 messages, latest: Jul 25 2022 at 09:16)
- ✔ With coq-elpi 1.14.0 (4 messages, latest: May 23 2022 at 14:22)
- stream events (4 messages, latest: Apr 18 2022 at 08:59)
- build failures on mathcomp/mathcomp-dev:coq-dev docker image (17 messages, latest: Mar 31 2022 at 09:43)
- Hierarchy builder error (7 messages, latest: Mar 25 2022 at 14:15)
- Naming of builders (11 messages, latest: Feb 23 2022 at 08:43)
- Nix and Coq 8.15 (3 messages, latest: Jan 31 2022 at 14:55)
- Release 1.2.1 (1 message, latest: Jan 09 2022 at 20:22)
- Hierarchy builders and type classes (24 messages, latest: Dec 08 2021 at 14:59)
- HB.declare does not work (5 messages, latest: Oct 22 2021 at 16:03)
- regression in graph-theory related to HB (12 messages, latest: Oct 17 2021 at 18:17)
- What does #[hnf] do? (4 messages, latest: Sep 02 2021 at 14:53)
- parameter illtyped error (56 messages, latest: Aug 14 2021 at 13:25)
- HB master with Coq 8.13.2 fails to compile examples/readme.v (25 messages, latest: Jul 08 2021 at 16:17)
- HB dev fails in Coq Platform (76 messages, latest: Jun 24 2021 at 14:36)
- Strange error with eqType (5 messages, latest: Jun 18 2021 at 06:42)
- Hierarchy builder in HoTT (8 messages, latest: Jun 01 2021 at 11:12)
- adapting to HB.dev (45 messages, latest: Apr 15 2021 at 17:55)
- installation and mathcomp (21 messages, latest: Apr 15 2021 at 12:39)
- HB for HoTT? (35 messages, latest: Apr 14 2021 at 20:47)
- Debug Commands (31 messages, latest: Apr 14 2021 at 09:28)
- Hierachy Builder and coq master (17 messages, latest: Apr 08 2021 at 08:20)
- Video on porting order.v structures (4 messages, latest: Apr 02 2021 at 14:52)
- Generated Instances (5 messages, latest: Apr 01 2021 at 19:51)
- Checking whether some type is some instance (59 messages, latest: Apr 01 2021 at 15:56)
- HB command attributes (5 messages, latest: Apr 01 2021 at 14:45)
- hiearchy-builder 1.1.0 (10 messages, latest: Apr 01 2021 at 07:38)
- Porting dioid (25 messages, latest: Mar 31 2021 at 11:50)
- demo2 (6 messages, latest: Mar 22 2021 at 16:19)
- `Error: elpi: subst-fun: not a lambda` while porting dioid (52 messages, latest: Mar 05 2021 at 22:13)
- Implicit arguments in mixins (10 messages, latest: Mar 02 2021 at 17:24)
- 1.0 release (4 messages, latest: Dec 16 2020 at 20:38)
- inductive predicate to boolean function (1 message, latest: Nov 11 2020 at 10:54)
- instance family bug? (14 messages, latest: Nov 02 2020 at 18:00)
- Indexed carriers? (40 messages, latest: Oct 09 2020 at 16:52)
- compilation with hierarchy-builder (13 messages, latest: Sep 11 2020 at 14:03)
- extra-dev package (2 messages, latest: Aug 13 2020 at 08:04)
- Anomaly in kernel/safe_typing.ml (13 messages, latest: Jul 20 2020 at 19:04)
- "criss-cross" inheritance (7 messages, latest: Jul 20 2020 at 14:37)
- expected closed_term error after typechecking (34 messages, latest: Jul 20 2020 at 13:57)
- [Q] why structures re-export operations (as notations) (12 messages, latest: Jul 17 2020 at 20:43)
- Releasing a new version (1 message, latest: Jul 16 2020 at 13:52)
- Presented at FSCD2020, talk available on youtube. (2 messages, latest: Jul 16 2020 at 09:18)
- "Wide" hierarchies (7 messages, latest: Jun 29 2020 at 12:32)
- HB_scope or hb_scope? (5 messages, latest: Jun 20 2020 at 19:14)
- coq-elpi nix package breaks (9 messages, latest: May 26 2020 at 14:40)
- w-param refactoring (57 messages, latest: May 19 2020 at 16:42)
- coq-elpi (1 message, latest: May 18 2020 at 17:24)
Last updated: Apr 19 2024 at 10:02 UTC