4 ms·

currently reading through the tutorial. don't have much experience with coq, lean and friends, but this looks like a nice language to get started with formal pr

by aktuel 1y ago

currently reading through the tutorial. don't have much experience with coq, lean and friends, but this looks like a nice language to get started with formal proofs.

ngruhn 1y ago
fyi: they finally renamed Coq. It's called Rocq now.
- CaptainOfCoit 1y ago
  Guess they had to change the logo too? Just because evangelical anglophone users couldn't get past the name sounding like "cock" or what?
  - ngruhn 1y ago
    Yes, but I don't think it has anything to do with evangelicalism. It's just like Uranus. You can't talk about without it always being a bit unserious.
litexlang 1y ago
Thank you aktuel!