|
2 |
+tags
|
||
|
Post Made Community Wiki by Ghi Om
|
||||
|
|
||||
|
|
1 |
|
||
Proof formalizationI read some time ago some papers about proof formalization. Typically, I began whith this one, from Lamport. Are there more recent works in this field ?
|
||||
