Dependency Graphs for Interactive Theorem Provers (2000)

Cached

Download Links

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