Open Induction
From MaRDI portal
Software:53718
No author found.
Related Items (3)
Proving open properties by induction ⋮ On induction principles for partial orders ⋮ A Mechanized Proof of Higman’s Lemma by Open Induction
This page was built for software: Open Induction
