issues
search
theoremprover-museum
/
theoremprover-museum.github.io
https://theoremprover-museum.github.io
GNU General Public License v3.0
52
stars
7
forks
source link
get endorsement from the AAR.
#6
Open
kohlhase
opened
7 years ago
kohlhase
commented
7 years ago
http://www.aarinc.org/
kohlhase
commented
6 years ago
sent e-mails to president and secretary.
http://www.aarinc.org/