The following pages link to (Q4264727):
Displaying 9 items.
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Adding metatheoretic facilities to first-order theories (Q2785674) (← links)
- (Q3484381) (← links)
- A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs (Q4506460) (← links)
- Structuring metatheory on inductive definitions (Q4647512) (← links)
- Representing proof transformations for program optimization (Q5210798) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- On extensibility of proof checkers (Q6061878) (← links)