Pages that link to "Item:Q507366"

The following pages link to Mechanically certifying formula-based Noetherian induction reasoning (Q507366):

Displaying 3 items.

• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
• (Q3384901) (← links)
• Mechanical certification of \(\mathrm{FOL_{ID}}\) cyclic proofs (Q6059221) (← links)