Risk-Free Lending. - Matthew Doty (Arch. Formal Proofs, 2022)

Birkhoff's Representation Theorem For Finite Distributive Lattices. - Matthew Doty (Arch. Formal Proofs, 2022)

Class-based Classical Propositional Logic. - Matthew Doty (Arch. Formal Proofs, 2022)

From Weakly-terminating Binary Agreement and Reliable Broadcast to Atomic Broadcast. - Andreas Fackler; Samuel Schlesinger; Matthew Doty (CoRR, 2022)

Suppes' Theorem For Probability Logic. - Matthew Doty (Arch. Formal Proofs, 2023)

A Sound and Complete Calculus for Probability Inequalities. - Matthew Doty (Arch. Formal Proofs, 2023)