Topics:
- 8.14 branch compatibility? (3 messages, latest: Sep 25 2021 at 12:42)
- Weird syntax error with `by struct` (9 messages, latest: Jun 09 2021 at 10:10)
- Equations incompatible with mathematical components? (6 messages, latest: May 27 2021 at 10:43)
- mutual recursion leaving an obligation for _graph_correct (53 messages, latest: May 10 2021 at 12:08)
- `noconf` in goal (5 messages, latest: Apr 20 2021 at 18:58)
- Noob question about decreasing argument (4 messages, latest: Apr 01 2021 at 15:46)
- apply_funelim vs funelim (5 messages, latest: Jan 04 2021 at 13:13)
- New release for Coq 8.13 (5 messages, latest: Dec 18 2020 at 17:51)
- Case splitting trouble (15 messages, latest: Nov 30 2020 at 12:33)
- eq_refl arguments in Equations.Prop (10 messages, latest: Nov 18 2020 at 13:53)
- Equations intro (3 messages, latest: Nov 13 2020 at 13:29)
- Can where definitions make recursive calls in a with node? (3 messages, latest: Oct 01 2020 at 22:12)
- Obligation abstracting over unnecessary section variables (23 messages, latest: Jul 04 2020 at 21:37)
- Address all obligations at once (3 messages, latest: Jul 03 2020 at 10:53)
- Derive EqDec failing silently (6 messages, latest: Jun 23 2020 at 12:40)
- Equations in an abstract setting (6 messages, latest: Jun 12 2020 at 10:09)
- Computing with well founded recursion (14 messages, latest: Jun 10 2020 at 17:31)
- stream events (2 messages, latest: May 08 2020 at 11:14)
- imported from gitter room coq/Equations (328 messages, latest: Apr 23 2020 at 16:41)
Last updated: Sep 26 2021 at 09:02 UTC