Bruh, nobody didn't learn coq because of it's name.
You gotta write like 3 pages of bullshit impenetrable code to prove 1+1=2
Please Login to reply.
Not using something because of its name is so retarded.
I have know of Coq for sometime. Maybe people should clear the filth from their minds.
