The following pages link to mural (Q35398):
Displaying 9 items.
- Definition and basic properties of the Deva meta-calculus (Q688825) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- The connection between two ways of reasoning about partial functions (Q963419) (← links)
- Proof by analogy in mural (Q1898818) (← links)
- Deduction-based software component retrieval (Q2702605) (← links)
- Ours Is to Reason Why (Q2842639) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Object organisation in software environments for formal methods (Q5044744) (← links)
- Jape: A calculator for animating proof-on-paper (Q5234722) (← links)