Skip to content
pcf-v3.2.0-alpha protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
7cfa3160 · Replaced f_bool, f_ite (and other depending structures) · 
replaced f_bool and f_ite by defining them via f_case. Effects on bigCBN/bigCBV missing. at some places, some subproofs are not already written down in PCF.v