|
|
|
|
|
|
by CuriousCosmic
2881 days ago
|
|
|
Ooh I'll check this book out once I get through the pile of stuff I have right now. And as you noted there definitely is a lot of "magic" when it comes to the inner workings of theorem proving tactics. I'm slowly figuring all of that out but like you said it definitely takes time and digging at the moment. |
|
|