search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

there are two repositories for SNARK #10

Closed kohlhase closed 6 years ago

kohlhase commented 7 years ago

I guess the internal one should be removed.

kohlhase commented 6 years ago

not a problem, we have the metadata

kohlhase commented 6 years ago

Actually, we need to do something about the multiple repository field. This is just ignored at the moment. assigning to Tom.

kohlhase commented 6 years ago

I have done that.