Towards Open Architecture for the ACL2 Theorem Prover
This directory supports work towards opening up the architecture of
the ACL2 theorem prover. At this stage it contains the following two
text files.
how-to-make-patches.txt
A discussion of how to make patches to ACL2 system code and how to
write books that verify termination and guards of ACL2 system
functionsstyle-sheet.txt
Basic style conventions for system code