Repositories list
1 repository
DiagonaLean
PublicA compositional toolkit for mechanised undecidability in Lean 4.
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.