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
build a group of activists and advisors
#3
Open
kohlhase
opened
8 years ago
kohlhase
commented
8 years ago
Jacques Fleuriot has already signed up.
Jacques Fleuriot has already signed up.