Pages that link to "Item:Q475385"
From MaRDI portal
The following pages link to Recycling proof patterns in Coq: case studies (Q475385):
Displaying 7 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Deepalgebra -- an outline of a program (Q2364671) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
