Topics:
- Call for new maintainers / move to Coq Community (7 messages, latest: Sep 11 2024 at 14:29)
- Uncaught Exception in Sertop (27 messages, latest: Sep 06 2024 at 17:11)
- Release for 8.21 (6 messages, latest: Aug 30 2024 at 15:03)
- SerAPI on Snap (21 messages, latest: Jul 30 2024 at 22:41)
- ✔ 8.20 tag? (5 messages, latest: Jul 19 2024 at 11:27)
- 8.20 tag? (1 message, latest: Jul 19 2024 at 08:43)
- SerAPI on MacOS (16 messages, latest: Feb 08 2024 at 14:33)
- ✔ How to add new serialised types (as a Coq dev) (4 messages, latest: Feb 05 2024 at 18:37)
- How to add new serialised types (as a Coq dev) (12 messages, latest: Feb 05 2024 at 14:34)
- Parsing a value in a `GenArg` (1 message, latest: Aug 04 2023 at 05:02)
- Serapi 8.17.0+0.17.0 fails on Ubuntu/MacOS (7 messages, latest: Jun 05 2023 at 20:59)
- Build issues on Windows (5 messages, latest: Apr 04 2023 at 16:12)
- ✔ type-in-type (6 messages, latest: Mar 14 2023 at 17:11)
- type-in-type (2 messages, latest: Mar 14 2023 at 14:58)
- Differences in loadpaths between coqtop and sertop (50 messages, latest: Feb 22 2023 at 19:07)
- Sertop equivalent of -noinit (17 messages, latest: Feb 21 2023 at 21:13)
- ✔ Failures when running ssreflect code (33 messages, latest: Feb 19 2023 at 22:32)
- STM api (42 messages, latest: Jan 22 2023 at 19:44)
- COQLIB variable? (34 messages, latest: Jan 20 2023 at 08:00)
- s-exp field documentation (19 messages, latest: Dec 29 2022 at 10:30)
- v8.17 branch (5 messages, latest: Dec 15 2022 at 14:26)
- Documentation about AST returned by sercomp --mode=sexp (11 messages, latest: Nov 14 2022 at 16:03)
- JSON documentation/examples? (6 messages, latest: Jul 26 2022 at 17:39)
- debugging interactions with serapi (46 messages, latest: Jun 29 2022 at 19:36)
- Python API (14 messages, latest: Jun 23 2022 at 20:39)
- coq-serapi licensing (274 messages, latest: May 27 2022 at 14:15)
- ✔ Trouble packaging for Debian (46 messages, latest: May 26 2022 at 10:39)
- sertop.el's sertop-coq-directory (11 messages, latest: May 26 2022 at 10:38)
- stream events (3 messages, latest: Apr 19 2022 at 12:10)
- serapi usage: getting theorems in a project (28 messages, latest: Jan 23 2022 at 16:42)
- Not found libraries (25 messages, latest: Dec 26 2021 at 00:50)
- coq-serapi versioning (8 messages, latest: Dec 15 2021 at 23:35)
- Get span information of goals (6 messages, latest: Nov 03 2021 at 15:51)
- Query proof terms (4 messages, latest: Oct 18 2021 at 10:29)
- 8.14+rc1 tag? (4 messages, latest: Oct 04 2021 at 07:17)
- SerAPIs for Isabelle (2 messages, latest: Sep 13 2021 at 14:45)
- Loading SerAPI in a plugin (24 messages, latest: Sep 08 2021 at 20:31)
- VernacExtend and SerAPI (2 messages, latest: Jun 13 2021 at 20:44)
- Modifying pp_margin in Alectyron? (10 messages, latest: Jun 03 2021 at 10:29)
- Building (22 messages, latest: Apr 13 2021 at 21:07)
- installation (2 messages, latest: Apr 13 2021 at 21:05)
- 8.13 release (28 messages, latest: Mar 12 2021 at 16:06)
- Coq 8.13, serapi and Alectryon (16 messages, latest: Jan 26 2021 at 10:49)
- Documentation link is dead (3 messages, latest: Jan 26 2021 at 10:07)
- Machine-generated gallina terms? (5 messages, latest: Oct 06 2020 at 20:46)
- Use `ocmalfind` to install SerAPI (2 messages, latest: Sep 21 2020 at 08:59)
Last updated: Oct 13 2024 at 01:02 UTC