System Version

I. Surname
Institution, Country

Overview

System Version [SysNN] is introduced in this section. It describes the proof checker and its main design choices. It may also describe its checking strategy, including when the system reports "NotVerified" versus attempting additional verification steps, as well as any notable features.

Start this section as shown, with the system name and version, citing any salient papers. Write the whole system description using 3rd person passive voice, i.e., say "something has been done" rather than "we did something".

Implementation

This section describes the implementation of the proof checker system, including the programming language used, important internal data structures, and any special code libraries [LibNN]. It should also specify any backend ATP [SysNN2] or external tools used. The availability of the system is given here. A brief explanation of how proofs are verified should also be included. You can point to a WWW site where the system is available like this:

    http://URL

Expected Competition Performance

This section makes some predictions about the performance of the proof checker.

References

SysNN: Author1Surname I., Author2Surname I. (Date), Conference Paper Title, EditorSurname I., Proceedings Title (ConferencePlace, ConferenceCountry), pp.StartPage-EndPage, SeriesTitle SeriesNumber, Publisher.
LibNN: AuthorSurname I. (Date), Journal Paper Title, Journal Title Volume(Number), pp.StartPage-EndPage, Publisher.
SysNN2: Author1Surname I., Author2Surname I. (Date), Conference Paper Title, EditorSurname I., Proceedings Title (ConferencePlace, ConferenceCountry), pp.StartPage-EndPage, SeriesTitle SeriesNumber, Publisher.