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.
HeikoBecker/HOL4-Snippets
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| 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.