Hacker News Reader

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.

View on HN

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

Guess they had to change the logo too? Just because evangelical anglophone users couldn't get past the name sounding like "cock" or what?

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.

Thank you aktuel!

Reply on news.ycombinator.com