Current Status: Trying to learn a new thing.
I think they called it Coq because it's hard.. (Sorry 
)pic.twitter.com/3WQHw8ytIX
-
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
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).
-
-
I wish you the best of luck. Sounds like you need it. Very interested in the outcome though. Something for
#orconf 2018?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.