Geeks
sinhp
/
CovariantYonedaLean4
A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant
Primary Language
Lean
MIT License
MIT
CovariantYonedaLean4 GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
CovariantYonedeaLean4
A proof of covariant Yoneda Lemma in the Lean 4 Proof Assistant