Skip to content

Theory

Jump to bottom Edit New page
xrchz edited this page Aug 6, 2012 · 1 revision

Intro...

Holmakefile

Heaps

Style

  • size of theories, focus
  • which theorems to save
  • naming conventions
Add a custom footer
Add a custom sidebar
Clone this wiki locally