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.

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

@Bas Spitters ?

Last updated: Jun 25 2024 at 17:02 UTC