TIP
From MaRDI portal
Software:31034
No author found.
Related Items (2)
TIP: Tools for Inductive Provers ⋮ Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
This page was built for software: TIP