holy shit proving theorems in coq is straight up better than crack i thought that markus was joking
@mra Fair enough, ~~Coq~~ Rocq is also really cool. Also potentially more amenable if you have done OCaml before. Have fun with it!
holy shit proving theorems in coq is straight up better than crack i thought that markus was joking
@mra Fair enough, ~~Coq~~ Rocq is also really cool. Also potentially more amenable if you have done OCaml before. Have fun with it!
@ayhon i've written some lean! i just happen to be in a course which uses coq