Announcement_47
The Lean formalization of Logical equivalences, homomorphism indistinguishability, and forbidden minors is published in the Lax Lean Archive, which is a very exciting initiative for creating an arXiv for Lean formalizations.
The Lean formalization of Logical equivalences, homomorphism indistinguishability, and forbidden minors is published in the Lax Lean Archive, which is a very exciting initiative for creating an arXiv for Lean formalizations.