Pages that link to "Item:Q1312157"
From MaRDI portal
The following pages link to Experimenting with Isabelle in ZF set theory (Q1312157):
Displaying 6 items.
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- Set theory for verification. II: Induction and recursion (Q1904402) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- Layered map reasoning (Q4923516) (← links)
- The practice of logical frameworks (Q5878905) (← links)