We have an active role in the ACL2 Books project.
We are now hosting the ACL2 System and Book Documentation
TODO: eventually list our papers, technical reports, etc.
Name / email (@centtech.com)
- Jared Davis / j
- Anna Slobadova / a
- Sol Swords / s