Equations
From MaRDI portal
Software:40328
No author found.
Related Items (6)
Foundations of dependent interoperability ⋮ A formalisation of nominal \(\alpha\)-equivalence with A, C, and AC function symbols ⋮ Elaborating dependent (co)pattern matching: No pattern left behind ⋮ Eliminating dependent pattern matching without K ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ Equations: A Dependent Pattern-Matching Compiler
This page was built for software: Equations
