/unimath-small-obj-arg

A UniMath formalization of Richard Garner's refinement of Quillen's small object argument

Primary LanguageCoq

No issues in this repository yet.