I'm getting ahead of myself #oplss schedule wise, but I've been solving homework exercises with Coq. Proving assoc/distrib props is awesome!
-
-
@edwinbrady That aligns with my feelings. My tactical maneuvering in Coq is 65% trial and error atm. :)@craigstuntz -
@cppcabrera I see it mostly as a way to find out how to write proof automation later. I admit it is quite fun though :).
@craigstuntz
End of conversation
New conversation -
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.