3 ms·
Adam Chlipala is behind this and his formal methods books are outstanding. In particular, FRAP is really great: http://adam.chlipala.net/frap http://adam.chlip
by nextos 3y ago
Adam Chlipala is behind this and his formal methods books are outstanding.
In particular, FRAP is really great: http://adam.chlipala.net/frap http://adam.chlipala.net/frap