|Search type||Search syntax|
|Code||code:"if (foo != bar)"|
|For more details on advanced search visit our help page|
Applications that allow to create formal proofs. They assist the user by finding partial and checking complete proofs. General questions about proof assistants can also be asked on the Proof Assistants Stack Exchange site.