 Milpgame checks if a statement is well formed (has a syntactic verifier).It can save unfinished proofs without the use of dummylink theorem.The demonstration is shown as tree, the statements are shown using html definitions (defined in typesetting chapter).