4e554c4c / adjunction-formula-blueprint Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jjgarzella/adjunction-formula-blueprint
Website and documentation for the Adjunction Formula, including dependency graph.
Home Page: https://leanprover-community.github.io/liquid/