Stream: Coq users

Topic: Synthetic topology in Homotopy Type Theory for probabilistic


view this post on Zulip Jordan Winkler (Jul 03 2021 at 19:48):

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

view this post on Zulip Matthieu Sozeau (Jul 12 2021 at 09:08):

@Bas Spitters ?


Last updated: Mar 28 2024 at 10:01 UTC