_CoqProject « proofs - Nectar - The Open-Source Toolchain for Nectar, which targets PTX, OS X, and Ne System.

summary refs log tree commit diff homepage

path: root/proofs/_CoqProject

blob: 62ede86fa59ff39b2435949f3538ef26968497da (plain)

-R NectarDriver NectarDriver

NectarDriver/Impl.v
NectarDriver/Trait.v