search

ProofSystem / Encyclopedia

An Open Encyclopedia of Proof Systems
116 stars 37 forks source link

Mark/Highlight entries about proof systems that have been used within automated theorem provers #42

Open ceilican opened 8 years ago

ceilican commented 8 years ago

Alternatively, make an Index of theorem provers.

ceilican commented 7 years ago

The index has now been created. See #71 .