Join Slack
Powered by
Sadly, that didn’t stop my former colleagues at IN...
# feed
c
cedric
11/07/2017, 7:01 PM
Sadly, that didn’t stop my former colleagues at INRIA who created Coq
🧵 6
Open in Slack
Previous
Next
