Category:Theorem prover languages

From Wikipedia, the free encyclopedia

You have new messages (last change).

This category lists domain-specific programming languages targeted at writing theorem provers.


Pages in category "Theorem prover languages"

There are 3 pages in this section of this category.

P

S

Retrieved from "http://en.wikipedia.org../../../t/h/e/Category%7ETheorem_prover_languages_1295.html"