mlavrent / algebraic-graphs Goto Github PK
View Code? Open in Web Editor NEWA verified implementation of the "Algebraic Graphs with Class" functional pearl in Lean.
Home Page: https://eprints.ncl.ac.uk/file_store/production/239461/EF82F5FE-66E3-4F64-A1AC-A366D1961738.pdf