|
|
|
|
|
|
by pacala
3206 days ago
|
|
|
I stole a small part of http://compcert.inria.fr for a hobby project. While this is not "graduate level mathematics", it is "graduate level computer science". I could have never done it if I had to memorize half a book of definitions just to warm up. |
|
|