The following pages link to Matching logic explained (Q2035650):
Displaying 5 items.
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- Matching Logic (Q4600770) (← links)
- Towards a unifying logical framework for neural networks (Q6164487) (← links)
- Connecting Constrained Constructor Patterns and Matching Logic (Q6486031) (← links)
- Interactive matching logic proofs in Coq (Q6605348) (← links)