nLab
Adam Chlipala

Selected writings

Selected writings

On software verification via dependent type theory with Coq:

category: people

Last revised on February 16, 2021 at 23:43:49. See the history of this page for a list of all contributions to it.