Repository navigation

language-deepsec

Public

About

Syntax highlighting for the Deepsec prover

1 star

2 watching

Report repository

Name		Name	Last commit message	Last commit date
grammars		grammars
settings		settings
snippets		snippets
spec		spec
.npmignore		.npmignore
.travis.yml		.travis.yml
README.md		README.md
package.json		package.json

Repository files navigation

Deepsec Atom package

Adds syntax highlighting to Deepsec files in Atom.

About

Syntax highlighting for the Deepsec prover

1 star

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages