Topics:
- Github Notifications (3579 messages, latest: Sep 25 2023 at 11:17)
- 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: Sep 25 2023 at 12:01 UTC