The following pages link to (Q4938413):
Displaying 7 items.
- Graphical reasoning in compact closed categories for quantum computation (Q1044227) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Main problems of diagrammatic reasoning. I: The generalization problem (Q2271076) (← links)
- Balancing Lists: A Proof Pearl (Q2879268) (← links)
- Proving Properties about Functions on Lists Involving Element Tests (Q2890338) (← links)
- What is a proof? (Q5301851) (← links)
- Proving Properties about Lists Using Containers (Q5458431) (← links)