The following pages link to (Q3021903):
Displaying 6 items.
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- Ensuring the correctness of lightweight tactics for JavaCard dynamic logic (Q2871841) (← links)
- Collaborative Interactive Theorem Proving with Clide (Q2879270) (← links)
- (Q3150303) (← links)
- (Q3336730) (← links)
- (Q4539627) (← links)