Equations
From MaRDI portal
Cited in
(13)- Eliminating dependent pattern matching without K
- Equations: a dependent pattern-matching compiler
- A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols
- Epigram
- Irdis
- ORME
- Ghostbuster
- AmiCo
- A3PAT
- FreeSpec
- Mechanically certifying formula-based Noetherian induction reasoning
- Foundations of dependent interoperability
- Elaborating dependent (co)pattern matching: no pattern left behind
This page was built for software: Equations
