For many years @github labeled all my verilog repos as Coq so it looked like Coq was my greatest skill even though I suck at it
Current Status: Trying to learn a new thing.
I think they called it Coq because it's hard.. (Sorry 
)pic.twitter.com/3WQHw8ytIX
-
-
-
Yeah, that coq is using the .v file extension will result in a lot of confusion in the project I'm working towards (proving properties of Verilog designs in coq).
- Show replies
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I've also recently started learning Coq! Currently working my way through Benjamin Pierce's "Software Foundations" book.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.