The following pages link to (Q2754027):
Displayed 4 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques (Q1640636) (← links)
- Inductive and Coinductive Components of Corecursive Functions in Coq (Q2873661) (← links)
- A simple canonical representation of rational numbers (Q4924543) (← links)