Stream: Coq users

Topic: Plans on Flatpak for Coq (+ associated libraries)?


view this post on Zulip Notification Bot (Jan 16 2021 at 13:25):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > Plans on Flatpak for Coq (+ associated libraries)?


Last updated: Oct 13 2024 at 01:02 UTC