|
|
|
|
|
|
by jonlong
536 days ago
|
|
|
Ah, very interesting. It does seem that the Ada community has done serious engineering work to build in powerful formal verification, in a way that is somehow parallel to the (much slower, for practical purposes, if more elegant) arc of type theory... |
|
|