language-oak A language package for the Oak proof checker timlabs 54 0 0.4.1 AGPL-3.0 GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install Pulsar language package for Oak A Pulsar (formerly Atom) language package for the Oak proof checker. Provides syntax highlighting, automatic indentation, and comment toggling.
