Activity
From 20 Aug 2020 to 18 Sep 2020
17 Sep 2020
-
16:06 0.10 hour (Feature #1415 (In Progress): thmproving package)
- News?
-
15:59 0.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- More notes
15 Sep 2020
14 Sep 2020
Also available in: Atom