Algebraic Formalisation of Program Development by Transformation
Abstract elided by the publisher.
Related papers
- A constructive formalisation of Semi-algebraic sets and functions CPP 2018
- Algebras for weighted search ICFP 2021
- Factorising folds for faster functions JFP 2010
- A modular, efficient formalisation of real algebraic numbers CPP 2016
- Formalising lie algebras CPP 2022
- A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL CPP 2023
- Formalising the h-Principle and Sphere Eversion CPP 2023
- Formalising perfectoid spaces CPP 2020