A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant
Primary LanguageLeanMIT LicenseMIT
No one’s star this repository yet.