Encode arity as Fin.t n and get rid of functional extensionality axiom#15
Open
olympichek wants to merge 8 commits into
Open
Encode arity as Fin.t n and get rid of functional extensionality axiom#15olympichek wants to merge 8 commits into
Fin.t n and get rid of functional extensionality axiom#15olympichek wants to merge 8 commits into
