search

jrh13 / hol-light

The HOL Light theorem prover
Other
435 stars 79 forks source link

.gitignore and .gitattributes #47

Closed monadius closed 5 years ago

spolu commented 5 years ago

👍🏻