DiagonaLeanDiagonaLean0.1.0

A compositional toolkit for mechanised undecidability in Lean 4.
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlib2eb08ab

    The math library of Lean 4
  2. Registry dependency.
    Found on Reservoir.

    cslib9d42aaa

    The Lean Computer Science Library (CSLib)