All Downloads are FREE. Search and download functionalities are using the official Maven repository.

gapt.expr.formula.Ex.scala Maven / Gradle / Ivy

The newest version!
package gapt.expr.formula

import gapt.expr.formula.constants.ExistsC

object Ex extends QuantifierHelper(ExistsC)




© 2015 - 2024 Weber Informatics LLC | Privacy Policy