https://github.com/CoqHott/coq-effects
History
Tip revision: 8059d06b525c944c8da241d2e6dd18a0c9080999 authored by Pierre-Marie Pédrot on 21 June 2017, 11:19:24 UTC
Random stuff in parametricity.
Tip revision: 8059d06
File Mode Size
Alg.v -rw-r--r-- 3.5 KB
AlgParam.v -rw-r--r-- 7.6 KB
ForcingParam.v -rw-r--r-- 9.5 KB
Lob.v -rw-r--r-- 4.1 KB

back to top