{{cat main|Proof assistant}}
Category:Dependently typed programming
Category:Domain-specific programming languages
Category:Theorem proving software systems