source: Papers/jar-cerco-2017/development.tex @ 3615

Last change on this file since 3615 was 3615, checked in by boender, 3 years ago

Moved paper structure comments to their relevant sections

File size: 241 bytes
Line 
1% Formal development
2%   Source code repo link
3%   Statistics (number of lines, etc.)
4%   Description of remaining axioms --- try and explain them away/make them sound reasonable
5
6\section{Formal development}
7\label{sect.formal.development}
Note: See TracBrowser for help on using the repository browser.