VTrelatBEer

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

    ZFLeanaad8038

    A Lean 4 framework for set-theoretic mathematics
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.27.0

    The math library of Lean 4