Welcome to the ACL2 wiki!

Browse through all of the pages on the right -- you may need to "show more pages".

These wiki pages use "markdown" to encode things like italics and lists.

A short and incomplete "markdown" quick-reference:

https://help.github.com/articles/markdown-basics

A more detailed overview of markdown:

https://guides.github.com/features/mastering-markdown/

While the H1 headers are very large, we haven't yet established a convention for whether the top-level header should be a single-hash, double-hash, or triple-hash. In my own topics, I switch between starting with a single-hash and starting with a triple-hash.