search

lean-catLogic / formalization

Formalization of Categorical Logic in the Lean proof assistant
https://lean-catLogic.github.io
3 stars 0 forks source link

Implemented fix of has_diamond class #14

Closed jacobneu closed 1 year ago

jacobneu commented 1 year ago

Solves #9 by implementing #11