- Laura P. Gamboa Guzman:
Stalnaker's Epistemic Logic. Arch. Formal Proofs 2022 (2022) - Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato:
Quasi-Borel Spaces. Arch. Formal Proofs 2022 (2022) - Paul Hofmeier, Emin Karayel:
Combinatorial Enumeration Algorithms. Arch. Formal Proofs 2022 (2022) - Yosuke Ito:
Actuarial Mathematics. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Median Method. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Interpolation Polynomials (in HOL-Algebra). Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Enumeration of Equivalence Relations. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Universal Hash Families. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Formalization of Randomized Approximation Algorithms for Frequency Moments. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
A Combinator Library for Prefix-Free Codes. Arch. Formal Proofs 2022 (2022) - Emin Karayel:
Finite Fields. Arch. Formal Proofs 2022 (2022) - Ata Keskin:
Sauer-Shelah Lemma. Arch. Formal Proofs 2022 (2022) - Jeffrey Ketland:
Boolos's Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - Daniel Kirchner:
Abstract Object Theory. Arch. Formal Proofs 2022 (2022) - Tobias Klenze, Christoph Sprenger
:
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. Arch. Formal Proofs 2022 (2022) - Lukas Koller:
Knight's Tour Revisited Revisited. Arch. Formal Proofs 2022 (2022) - Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson:
The Plünnecke-Ruzsa Inequality. Arch. Formal Proofs 2022 (2022) - Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson:
Khovanskii's Theorem. Arch. Formal Proofs 2022 (2022) - Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds:
The Balog-Szemerédi-Gowers Theorem. Arch. Formal Proofs 2022 (2022) - Katharina Kreuzer:
CRYSTALS-Kyber. Arch. Formal Proofs 2022 (2022) - Nils Lauermann:
Turán's Graph Theorem. Arch. Formal Proofs 2022 (2022) - Alexander Lochmann:
Reducing Rewrite Properties to Properties on Ground Terms. Arch. Formal Proofs 2022 (2022) - Alexander Lochmann, Bertram Felgenhauer:
First-Order Theory of Rewriting. Arch. Formal Proofs 2022 (2022) - Diego Marmsoler, Achim D. Brucker:
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - Stephan Merz, Vincent Trélat:
Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph. Arch. Formal Proofs 2022 (2022) - Pasquale Noce:
A Reuse-Based Multi-Stage Compiler Verification for Language IMP. Arch. Formal Proofs 2022 (2022) - Seung Hoon Park:
A Formal CHERI-C Memory Model. Arch. Formal Proofs 2022 (2022) - Lawrence C. Paulson:
Irrational numbers from THE BOOK. Arch. Formal Proofs 2022 (2022) - Lawrence C. Paulson:
Young's Inequality for Increasing Functions. Arch. Formal Proofs 2022 (2022) - Lawrence C. Paulson:
Wetzel's Problem and the Continuum Hypothesis. Arch. Formal Proofs 2022 (2022)
