Stream: FreeSpec dev & users

Topic: Welcome!


view this post on Zulip Thomas Letan (Nov 05 2020 at 11:47):

With Yann we wanted to create a place to discuss about FreeSpec, its current state, its development, and so on… and we thought it was a good idea to create it here, close to the Coq community which is the most susceptible to use it after all! Hope that’s okay


Last updated: Feb 06 2023 at 05:03 UTC