Dependency Graphs for Interactive Theorem Provers (2000)
by
Yves Bertot
,
Olivier Pons
,
Loïc Pottier
| Citations: | 1 - 0 self |
Document Versions
| Dependency Graphs for Interactive Theorem Provers –Yves Bertot, Olivier Pons, Loïc Pottier — 2000 |
