The following pages link to AUTO2 (Q29452):
Displaying 4 items.
- Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings (Q739160) (← links)
- Verifying asymptotic time complexity of imperative programs in Isabelle (Q1799114) (← links)
- Efficient verification of imperative programs using auto2 (Q2324204) (← links)
- Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)