discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Lobsters
PL for SE, Part 1: “Programming Languages”
https://taliasplse.wordpress.com/2017/04/24/pl-for-se-part-1-programming-languages/
3 comments
25/4/2017
compilers , compsci
Reddit
"Here are five things I learned about plugin development at the Coq Implementors Workshop"
https://taliasplse.wordpress.com/2018/06/10/coq-implementors-workshop/
2 comments
10/6/2018
coq