/mixt-proofs

Proofs for MixT language stuff!

Primary LanguageCoq

No issues in this repository yet.