guillaumebrunerie/initiality

A formalized proof of a version of the initiality conjecture

Agda