Open Mathadon opened 3 years ago
A reminder for once someone has time to review this at KU Leuven: The following fork contains some extensions and bug fixes for strobe: https://github.com/siverbru/EROB
A reminder for once someone has time to review this at KU Leuven: The following fork contains some extensions and bug fixes for strobe: https://github.com/siverbru/EROB