Pages that link to "Item:Q3499750"
From MaRDI portal
The following pages link to A Declarative Language for the Coq Proof Assistant (Q3499750):
Displaying 26 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- A certified proof of the Cartan fixed point theorems (Q438546) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Weak call-by-value lambda calculus as a model of computation in Coq (Q1687735) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- A denotational semantics of textually aligned SPMD programs (Q2011201) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Call-by-value lambda calculus as a model of computation in Coq (Q2319993) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Formalization of functional variation in HOL Light (Q2423767) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Declarative representation of proof terms (Q2655330) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- (Q2754039) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
- Relating system F and \(\lambda 2\): a case study in Coq, Abella and Beluga (Q5111317) (← 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)
- Declarative Proof Translation (Short Paper) (Q5875449) (← links)
