CHECKER(1) - manual page | User commands SPARK Proof Checker. Chapters NAMESYNOPSISDESCRIPTIONOPTIONSFILESSEE ALSOAUTHOR 3 June 2011 Loading manual page ... Download checker(1).txt | manual plain text file Downloading man page ... Find manuals Go top