> there are undergrads here who don't know Coq
> there are mathematicians who dont know Coq
> there are COMPUTER SCIENTISTS who dont know Coq
there are undergrads here who don't know Coq
Hunter Johnson
Angel Ortiz
i prefer doing math
if autists want to double check my obviously correct proofs, go for it
Nathan Wright
Nice now prove the 4 color theorem
Robert Cooper
logicians gtfo
Evan Scott
Thousands of math and cs students love coq if you catch my drift
Jose Jackson
Are there any lewds of proof general tan?
Dylan Long
>someone else on Veeky Forums likes Coq
neat.jpg
Christian Murphy
memes aside, how do I use PG with isabelle?
Nathaniel Rivera
What's coq?
Nolan Wilson
Curious as well : as a french speaker, I don't think they refer to the animal though.