Pages that link to "Item:Q3499750"
From MaRDI portal
The following pages link to A Declarative Language for the Coq Proof Assistant (Q3499750):
Displayed 8 items.
- Declarative representation of proof terms (Q2655330) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Large Formal Wikis: Issues and Solutions (Q5200113) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)