Z3
smtlib
Z3Session
smtlib
z
FactorialFunctionEqualityExampleProof
FactorialFunctionEqualityExampleProof2
UniformAssociativity3ExampleProof
inductionExamples
atp_instances
poset4_example
poset_example
vtrat_comparison
z_irreducible
LankfordSolverInstance
zero
FactorialFunctionEqualityExampleProof2
Peano
Pi2Pigeonhole
inductionExamples
Vector
SimpleInductionProof
zip
Sequent
zipIndex
Pickrule
Pickrule
zipWithIndex
Sequent
zoomIn
ProofToolViewer
zoomInButton
MenuButtons
ProofToolViewer
zoomOut
ProofToolViewer
zoomOutButton
MenuButtons
ProofToolViewer