/HOL4-Snippets

Collection of handy yasnippet scripts to ease writing HOL4 files

Primary LanguageYASnippet

This repository contains some snippets for the HOL4 theorem prover.

Feel free to submit a pull request if you want to add more to it.