Automatic theorem proving - Computer programs.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant /
by:
(Language materials, printed)