Below is a list of all papers accepted for ACL2 Workshop 2025,
alphabetized by first author.  Each is associated (or, to be
associated) with the corresponding directory containing supporting
materials.  Directories starting with "[books]" are the indicated
subdirectories of the community books; the others are subdirectories
of this README's directory, i.e., of [books]/workshops/2025/.

------------------------------

Alessandro Coglio and Eric McCarthy
A Formalization of the Yul Language and Some Verified Yul Code Transformations

[books]/kestrel/yul/

------------------------------

Grant Jurgensen
A Proof of the Schröder-Bernstein Theorem in ACL2

[books]/projects/schroeder-bernstein

------------------------------

Matt Kaufmann, Warren Hunt and Yahya Sohail
Extended Abstract: Mutable Objects with Several Implementations

[books]/demos/attach-stobj/

------------------------------

Matt Kaufmann and J Moore
Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2

[books]/demos/fp/

------------------------------

Ankit Kumar and Panagiotis Manolios
A Formalization of the Correctness of the Floodsub Protocol

kumar-manolios

------------------------------

Carl Kwan
RV32I in ACL2

kwan/

------------------------------

Mayank Manjrekar
[Extended Abstract] On Automating Proofs of Multiplier Adder Trees using the RTL Books

manjrekar/

------------------------------

Zeke Medley and Panagiotis Manolios
Cellular Automata Surviving k Steps

medley-manolios/

------------------------------

David Russinoff
A Formalization of Elementary Linear Algebra: Part I

[books]/projects/linear/

------------------------------

David Russinoff
A Formalization of Elementary Linear Algebra: Part II

[books]/projects/linear/

------------------------------

Andrew T. Walter and Panagiotis Manolios
An ACL2s Interface to Z3

walter-manolios/

------------------------------

Samuel Xifaras, Panagiotis Manolios, Andrew Walter and William Robertson
An Enumerative Embedding of the Python Type System into ACL2s

[books]/projects/python/embedding/

------------------------------
