Dependency Graphs for Interactive Theorem Provers (2000)

Cached

Download Links

by Yves Bertot , Olivier Pons , Loïc Pottier
Citations:2 - 0 self

Document Versions

Dependency Graphs for Interactive Theorem Provers –Yves Bertot, Olivier Pons, Loïc Pottier — 2000