Pages that link to "Item:Q5200123"
From MaRDI portal
The following pages link to Towards Formal Proof Script Refactoring (Q5200123):
Displayed 3 items.
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)