Stream: Coq users

Topic: Compare notes on coq or related research papers

view this post on Zulip sameer gupta (Oct 05 2021 at 21:52):

Stream goes by the same name. I guess, now it's not hidden anymore?

view this post on Zulip sameer gupta (Oct 05 2021 at 21:53):

.

view this post on Zulip sameer gupta (Oct 05 2021 at 22:05):

It is for discussing the theorems, which are related,but not mainstream

Last updated: Apr 19 2024 at 14:02 UTC