Topics:
- ✔ How to install (?) Goedel on windows (23 messages, latest: Mar 19 2023 at 20:18)
- Library for countability? (1 message, latest: Mar 14 2023 at 20:03)
- New notations (2 messages, latest: Feb 26 2023 at 17:48)
- Implicit Arguments (11 messages, latest: Feb 26 2023 at 15:19)
- CI failure on goedel (4 messages, latest: Feb 26 2023 at 09:54)
- Helping with the branch "bullets" (57 messages, latest: Feb 07 2023 at 12:36)
- strange warning (5 messages, latest: Jan 08 2023 at 07:28)
- Good riddance to binders in index (9 messages, latest: Jan 03 2023 at 14:08)
- displaying module dependencies (12 messages, latest: Dec 28 2022 at 22:42)
- Releases of repo (6 messages, latest: Dec 21 2022 at 19:30)
- Package issue (7 messages, latest: Dec 21 2022 at 18:34)
- Nix CI failure (1 message, latest: Dec 09 2022 at 17:22)
- Fold-unfold Coq tutorial (1 message, latest: Oct 05 2022 at 20:01)
- Small corrections in the JFLA paper (4 messages, latest: Oct 05 2022 at 06:59)
- AI art for hydra-battles (9 messages, latest: Oct 02 2022 at 05:15)
- Goedel, Pocklington & CoqPrime (84 messages, latest: Oct 01 2022 at 20:03)
- Failures on Coq.dev (42 messages, latest: Oct 01 2022 at 15:55)
- stream events (4 messages, latest: Sep 28 2022 at 18:19)
- Greetings to all (2 messages, latest: Sep 25 2022 at 06:20)
- Coq'Art part of the universe? (2 messages, latest: Sep 23 2022 at 09:42)
- Library translation (1 message, latest: Sep 17 2022 at 21:26)
- Badges (9 messages, latest: Sep 15 2022 at 08:44)
Last updated: Mar 25 2023 at 07:28 UTC