Has anyone had any luck porting this project to the current HoTT and Coq projects? The paper was republished about a week ago, but the software is about 4 years old.
https://arxiv.org/abs/1912.07339v2
@Bas Spitters ?
Last updated: Oct 01 2023 at 18:01 UTC