Pages that link to "Item:Q3582730"
From MaRDI portal
The following pages link to Proviola: A Tool for Proof Re-animation (Q3582730):
Displayed 5 items.
- Proviola (Q13489) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- Towards Knowledge Management for HOL Light (Q5495935) (← links)