Revision 45acabdc8619b4d9b53b5625152e131d044f6cf7 authored by Théo Winterhalter on 25 September 2019, 15:33:51 UTC, committed by Théo Winterhalter on 26 September 2019, 11:21:55 UTC
Removes need for `wellformed_zipc_replace`!
1 parent ec2d4a3
History
File Mode Size
Makefile -rw-r--r-- 164 bytes
Makefile.coq.local -rw-r--r-- 66 bytes
MiniHoTT.v -rw-r--r-- 115.2 KB
MiniHoTT_paths.v -rw-r--r-- 114.9 KB
README.md -rw-r--r-- 218 bytes
_CoqProject -rw-r--r-- 355 bytes
param_cheap_packed.v -rw-r--r-- 23.0 KB
param_cheap_packed_correctness.v -rw-r--r-- 10.8 KB
param_generous_packed.v -rw-r--r-- 9.8 KB
param_generous_packed_correctness.v -rw-r--r-- 12.5 KB
param_generous_unpacked.v -rw-r--r-- 20.0 KB
param_original.v -rw-r--r-- 15.2 KB
sigma.v -rw-r--r-- 1.5 KB
standard_model.v -rw-r--r-- 10.3 KB
times_bool_fun.v -rw-r--r-- 13.8 KB
times_bool_fun2.v -rw-r--r-- 6.1 KB
translation_utils.v -rw-r--r-- 12.3 KB

README.md

back to top