paulch42leanSpec

Program Specification in Lean 4
#formal-specification #dependent-types
Sort by
  1. Git dependency.
    Not found on Reservoir.

    std0b2e962

  2. Git dependency.
    Found on Reservoir.

    mdgenv1.0.0

    Tool to generate markdown files from lean files. This is heavily inspired by lean2md.