Pages that link to "Item:Q5371995"
From MaRDI portal
The following pages link to Quick specifications for the busy programmer (Q5371995):
Displaying 5 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Into the Infinite - Theory Exploration for Coinduction (Q6108814) (← links)
- Conjectures, tests and proofs: an overview of theory exploration (Q6646290) (← links)