VTrelatB

Higher-order encoder for B proof obligations to SMT-LIB 2.7
Sort by
  1. Git dependency.
    Found on Reservoir.

    ZFLean7d6b0d7

    A practical framework for set-theoretical development in Lean
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.27.0

    The math library of Lean 4