From Ontohub
Revision as of 09:03, 21 June 2018 by Tillmo (talk | contribs) (initial page)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

We will use the [Atom editor] for working with DOL, OWL, CommonLogic, CASL etc. We aim at a neat integration of Atom into Hets.

Useful Atom packages:

  • LaTeX