holy shit proving theorems in coq is straight up better than crack i thought that markus was joking
@mra xD, welcome to the rabbit hole. Next, you have to give Lean a try
@ayhon i've written some lean! i just happen to be in a course which uses coq
holy shit proving theorems in coq is straight up better than crack i thought that markus was joking
@mra xD, welcome to the rabbit hole. Next, you have to give Lean a try
@ayhon i've written some lean! i just happen to be in a course which uses coq