Submit PR to github linguist to let it know about prover9, ofn, cl file types - Githubissues

BFO-ontology / BFO-2020

A repository for BFO 2020 artifacts specified in ISO 21838-2:2020

68 stars 27 forks source link

Submit PR to github linguist to let it know about prover9, ofn, cl file types #70

Open alanruttenberg opened 1 year ago

alanruttenberg commented 1 year ago

see https://github.com/BFO-ontology/BFO-2020/pull/67#issuecomment-1673525684