The following pages link to (Q4524768):
Displaying 5 items.
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- Fiat: deductive synthesis of abstract data types in a proof assistant (Q2819861) (← links)
- Dependently Typed Programming Based on Automated Theorem Proving (Q2908568) (← links)
- (Q4428316) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899057) (← links)