Add vampire to ci docker image - Githubissues

ontologyportal / sigmakee

Sigma Knowledge Engineering Environment

GNU General Public License v3.0

102 stars 35 forks source link

Add vampire to ci docker image #88

Closed kharus closed 1 year ago