Atom
From Ontohub
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
- git-plus
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: