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: Jan 27 2023 at 00:03 UTC