Sommaire

Initiality for Typed Syntax and Semantics

Ahrens, Benedikt

Link
Link


Journal of Formalized Reasoning
Formal Proofs for Nonlinear Optimization

Magron, Victor ; Allamigeon, Xavier ; Gaubert, Stéphane ; Werner, Benjamin

Link
Link


Journal of Formalized Reasoning
A formal verification of the theory of parity complexes

Buckley, Mitchell

Link
Link


Journal of Formalized Reasoning
Programming type-safe transformations using higher-order abstract syntax

Savary Belanger, Olivier ; Monnier, Stefan ; Pientka, Brigitte

Link
Link


Journal of Formalized Reasoning