Supporting Dependently Typed Functional Programming with Testing and User-Assisted Proof Automation

Cached

Download Links

by Sean Wilson , Jacques Fleuriot , Alan Smaill
Citations:4 - 1 self