Topics:
- HATRA 2023 paper (1 message, latest: Sep 23 2023 at 09:20)
- Library for countability? (88 messages, latest: Sep 17 2023 at 14:31)
- About ordinals (1 message, latest: Aug 22 2023 at 06:00)
- Teaching Gödel's incompleteness theorem (2 messages, latest: Aug 15 2023 at 10:48)
- Gaia bridge and coq 8.17 (22 messages, latest: Aug 05 2023 at 18:26)
- ignoring sty files (4 messages, latest: Jul 11 2023 at 16:28)
- Branches (58 messages, latest: Jun 22 2023 at 18:34)
- Nix CI failure (14 messages, latest: Apr 15 2023 at 13:07)
- Notations for First-order formulas (1 message, latest: Mar 27 2023 at 14:54)
- ✔ How to install (?) Goedel on windows (14 messages, latest: Mar 19 2023 at 20:18)
- How to install (?) Goedel on windows (9 messages, latest: Mar 16 2023 at 17:18)
- 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)
- 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: Sep 30 2023 at 07:01 UTC