File Mode Size
.github
impredicative_set
.gitignore -rw-r--r-- 82 bytes
.travis.yml -rw-r--r-- 1.6 KB
LICENSE.txt -rw-r--r-- 25.9 KB
Makefile -rw-r--r-- 624 bytes
README.md -rw-r--r-- 6.1 KB
_CoqProject -rw-r--r-- 544 bytes
altprob_model.v -rw-r--r-- 9.8 KB
category.v -rw-r--r-- 42.3 KB
coq-monae.opam -rw-r--r-- 1.4 KB
dune -rw-r--r-- 261 bytes
dune-project -rw-r--r-- 205 bytes
example_array.v -rw-r--r-- 2.3 KB
example_monty.v -rw-r--r-- 22.8 KB
example_nqueens.v -rw-r--r-- 18.1 KB
example_quicksort.v -rw-r--r-- 12.8 KB
example_relabeling.v -rw-r--r-- 7.5 KB
example_spark.v -rw-r--r-- 9.9 KB
example_transformer.v -rw-r--r-- 6.2 KB
fail_lib.v -rw-r--r-- 23.6 KB
fmt_lifting.v -rw-r--r-- 21.2 KB
gcm_model.v -rw-r--r-- 26.7 KB
hier.png -rw-r--r-- 41.3 KB
hierarchy.v -rw-r--r-- 73.5 KB
index.md -rw-r--r-- 2.2 KB
meta.yml -rw-r--r-- 7.4 KB
monad_composition.v -rw-r--r-- 10.3 KB
monad_lib.v -rw-r--r-- 21.9 KB
monad_model.v -rw-r--r-- 60.2 KB
monad_transformer.v -rw-r--r-- 35.8 KB
monae_lib.v -rw-r--r-- 4.2 KB
parametricity_codensity.v -rw-r--r-- 5.7 KB
proba_lib.v -rw-r--r-- 19.5 KB
proba_monad_model.v -rw-r--r-- 2.9 KB
smallstep.v -rw-r--r-- 29.6 KB
state_lib.v -rw-r--r-- 22.3 KB
trace_lib.v -rw-r--r-- 4.2 KB

README.md

back to top