Category:Interactive theorem proving software

From Wikipedia, the free encyclopedia

Theorem provers which permit the user to direct the construction of part or all of a proof, using an interactive user interface.

Pages in category "Interactive theorem proving software"

The following 12 pages are in this category, out of 12 total. Updates to this list can occasionally be delayed for a few days.

A

C

E

H

I

J

L

M

P