#rocq

Network: Libera.Chat
Modes:
Last Seen: 3 hours ago
Topic: The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://rocq-prover.zulipchat.com/ - Discourse: https://discourse.rocq-prover.org/ - Wiki: https://github.com/rocq-prover/rocq/wiki
#675
Rank
55
Users

Channel Quotes

Memorable quotes from #rocq on Libera.Chat

Submit Quote

Latest Quotes

View All

No Quotes Yet

Be the first to submit a memorable quote from #rocq!

Submit First Quote
Statistics
Total Quotes
0