Home

Welcome

Welcome to my blog!

I've reproduced a list of recent posts here for your reading pleasure:

Posts

• Structural abstract interpretation - July 23, 2024
• Quotient Haskell - February 10, 2024
• Programming and Proving with Guarded Recursion @ PSSV'23 - November 24, 2023
• Subtyping Without Reduction - August 25, 2023
• A Hoare logic style refinement types formalisation - August 17, 2023
• Propositional interpolation in SSReflect - July 24, 2023
• Swierstra's Hoare monad in SSReflect - June 14, 2023
• Propositional resolution in SSReflect - April 28, 2023
• Pointfree topology and constructive mathematics - April 13, 2023
• Harrison's "Formalization and Automated Reasoning" talk - March 28, 2023
• Symbolic computation and satisfiability checking - January 9, 2023
• CDOT in Coq - November 2, 2022
• Semantics of triples - October 4, 2022
• Finite list take lemma - September 8, 2022
• Flocq lectures - September 7, 2022

…or you can find more in the archives.