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