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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.