|
|
|
|
|
|
by unixhero
2199 days ago
|
|
|
Hi! I am a 100% newcomer to the world of formal proofs and certainly dont know Coq. Because your topic was down to earth and the proof you provided were simple, I was able to understand these proofs.
As such your paper made me aware of how this community builds papers and proofs, and I can understand how this will grow insanely in complexity. Thank you! |
|
|