search

ProofSystem / Encyclopedia

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

Classification: Theory-oriented? Application-oriented? #33

Open ceilican opened 9 years ago

ceilican commented 7 years ago

Alternatively: tag entries that have had theorem provers associated with them.