AUTO2

swMATH17595MaRDI QIDQ29452FDOQ29452

Author name not available (Why is that?)

Described by source

• AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic

Cited In (4)

• Efficient verification of imperative programs using auto2
• Verifying asymptotic time complexity of imperative programs in Isabelle
• Formalization of the fundamental group in untyped set theory using auto2
• Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings

This page was built for software: AUTO2