Topics:
- ✔ type-in-type (8 messages, latest: Mar 14 2023 at 17:11)
- 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: Mar 25 2023 at 07:28 UTC