Arch. Formal Proofs

Publications

volume 2024, 2024

Andrei Popescu, Jamie Wright
More Operations on Lazy Lists. Arch. Formal Proofs 2024 (2024)
Manuel Eberl
Continued Fractions. Arch. Formal Proofs 2024 (2024)
Georg Struth, Tanguy Massacrier
Cubical Categories. Arch. Formal Proofs 2024 (2024)
Mike Stannett
The Stone-Cech Compactification. Arch. Formal Proofs 2024 (2024)
Axel Bergström, Tjark Weber
Verified QBF Solving. Arch. Formal Proofs 2024 (2024)
Tobias Nipkow
Alpha-Beta Pruning. Arch. Formal Proofs 2024 (2024)
Jamie Chen
Wieferich-Kempner Theorem. Arch. Formal Proofs 2024 (2024)
Xavier Parent, Christoph Benzmüller
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). Arch. Formal Proofs 2024 (2024)
Ata Keskin
Doob's Upcrossing Inequality and Martingale Convergence Theorem. Arch. Formal Proofs 2024 (2024)
Vincent Trélat
Substitutions for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2024 (2024)
Katherine Kosaian, Yong Kiam Tan
Formalizing Coppersmith's Method. Arch. Formal Proofs 2024 (2024)
Achim D. Brucker, Amy Stell
(Extended) Interval Analysis. Arch. Formal Proofs 2024 (2024)
Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Yosuke Ito
Actuarial Mathematics. Arch. Formal Proofs 2024 (2024)
Andrei Popescu, Jamie Wright
Relative Security. Arch. Formal Proofs 2024 (2024)
Yong Kiam Tan, Jiong Yang
Approximate Model Counting. Arch. Formal Proofs 2024 (2024)
Alexander Treml
Uncertainty Principle. Arch. Formal Proofs 2024 (2024)
Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel
A Verified Proof Checker for Metric First-Order Temporal Logic. Arch. Formal Proofs 2024 (2024)
René Thiemann
A Preprocessor for Linear Diophantine Equalities and Inequalities. Arch. Formal Proofs 2024 (2024)
Terru Stübinger, Lars Hupel
Go Code Generation for Isabelle. Arch. Formal Proofs 2024 (2024)
Shuhao Song, Bowen Yao
Prime Number Theorem with Remainder Term. Arch. Formal Proofs 2024 (2024)
Palle Raabjerg, Johannes Åman Pohjola, Tjark Weber
Broadcast Psi-calculi. Arch. Formal Proofs 2024 (2024)
Manuel Eberl
Kummer's congruence. Arch. Formal Proofs 2024 (2024)
Pasquale Noce
Information Flow Control via Stateful Intransitive Noninterference in Language IMP. Arch. Formal Proofs 2024 (2024)
Cameron Calk, Georg Struth
Higher Globular Catoids and Quantales. Arch. Formal Proofs 2024 (2024)
René Thiemann, Akihisa Yamada
Verifying a Decision Procedure for Pattern Completeness. Arch. Formal Proofs 2024 (2024)
Tobias Nipkow
Region Quadtrees. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
The Riesz Representation Theorem. Arch. Formal Proofs 2024 (2024)
Akihisa Yamada, René Thiemann
Sorted Terms. Arch. Formal Proofs 2024 (2024)
Richard Schmoetten, Jacques D. Fleuriot
Lie Groups and Algebras. Arch. Formal Proofs 2024 (2024)
Eugene W. Stark
Enriched Category Basics. Arch. Formal Proofs 2024 (2024)
Gergely Buday, Andrei Popescu
Countable Sums and Discrete (Sub)Distributions. Arch. Formal Proofs 2024 (2024)
Brijesh Dongol, Matthew Griffin, Andrei Popescu, Jamie Wright
Secret-Directed Unwinding. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
Coproduct Measure. Arch. Formal Proofs 2024 (2024)
Emin Karayel
Derandomization with Conditional Expectations. Arch. Formal Proofs 2024 (2024)
Michikazu Hirata
The Lévy-Prokhorov Metric. Arch. Formal Proofs 2024 (2024)
Sage Binder, Katherine Kosaian
Pick's Theorem. Arch. Formal Proofs 2024 (2024)
Eugene W. Stark
Residuated Transition Systems II: Categorical Properties. Arch. Formal Proofs 2024 (2024)
Peter Gammie
ConcurrentHOL. Arch. Formal Proofs 2024 (2024)
Jakob Schulz
Schönhage-Strassen Multiplication. Arch. Formal Proofs 2024 (2024)
Yannick Stade, Sarah Tilscher, Helmut Seidl
Partial Correctness of the Top-Down Solver. Arch. Formal Proofs 2024 (2024)
Simon Wimmer, Peter Lammich
Worklist Algorithms. Arch. Formal Proofs 2024 (2024)
Achim D. Brucker, Nicolas Méric, Burkhart Wolff
Isabelle/DOF. Arch. Formal Proofs 2024 (2024)
Sarah Tilscher, Simon Wimmer
LL(1) Parser Generator. Arch. Formal Proofs 2024 (2024)
René Thiemann, Fabian Mitterwallner, Aart Middeldorp
Undecidability Results on Orienting Single Rewrite Rules. Arch. Formal Proofs 2024 (2024)
Jakob Schulz, Emin Karayel
Karatsuba Multiplication on Integers. Arch. Formal Proofs 2024 (2024)
Sebastián Buss
Decomposition of totally ordered hoops. Arch. Formal Proofs 2024 (2024)
Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle
The Sumcheck Protocol. Arch. Formal Proofs 2024 (2024)

volume 2023, 2023

Michikazu Hirata
Disintegration Theorem. Arch. Formal Proofs 2023 (2023)
Ata Keskin
Eudoxus Reals. Arch. Formal Proofs 2023 (2023)