VTrelatZFLean0.1.0

A practical framework for set-theoretical development in Lean
#math
Displaying 1-1 of 1 packages depending on VTrelat/ZFLean
Sort by

  1. VTrelat/Buses7d6b0d7

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