Sort equivalence axiom annotations to produce a narrative in justification - Githubissues

scalation / analytics

ScalaTion Analytics Ontology

MIT License

7 stars 1 forks source link

Sort equivalence axiom annotations to produce a narrative in justification #44

Open mvnural opened 9 years ago