AUTO2

swMATH17595MaRDI QIDQ29452

No author found.

Described by source

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

Related Items (4)

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

This page was built for software: AUTO2