[aktuel]

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]

fyi: they finally renamed Coq. It's called Rocq now.

[CaptainOfCoit]

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]

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]

Thank you aktuel!