VTrelatZFLean0.1.0

A Lean 4 framework for set-theoretic mathematics
#math
Displaying 1-1 of 1 packages depending on VTrelat/ZFLean
Sort by

  1. VTrelat/BEerusesaad8038

    Higher-order encoder for B proof obligations to SMT-LIB 2.7