-
Notifications
You must be signed in to change notification settings - Fork 109
Home
ragerdl edited this page Sep 9, 2014
·
7 revisions
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.