|
|
|
|
|
|
by smj-edison
70 days ago
|
|
|
Huh I hadn't paid that much attention to MMC, but this looks fascinating! I don't like how fragile SMT servers are, so to be able to use tactics and proof techniques would be really powerful for formal verification. Also, to be able to prove properties about pointers would let me check some of my work with non-tree data structures. |
|
|