Searched +path:spec +path:fixtures +path:ontologies +path:prove (Results 1 - 3 of 3) sorted by relevance

/ontohub/spec/fixtures/ontologies/prove/
H A DSimple_Implications.casl
H A DSubclass.casl
H A Dprover_output_generator.casl

Completed in 409 milliseconds