github
Create HOL.gitignore
Reasons
Making it easier to get started with HOL.
Support
- The
.gitignoreof the HOL repository itself. - The
.gitignoreof CakeML, a large project implemented in HOL. - Section 8.3 in The HOL System Description.
- A private conversation with long-time maintainer @mn200 confirming that the change represents a reasonable default.
About
Quoting from hol-theorem-prover.org:
What is HOL? The HOL interactive theorem prover is a proof assistant for higher-order logic: a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems (users may have to prove the hard theorems themselves!) An oracle mechanism gives access to external programs such as SMT and BDD engines. HOL is particularly suitable as a platform for implementing combinations of deduction, execution and property checking.
History During the last 30 years there have been several widely used versions of the HOL system:
- HOL88 from Cambridge;
- HOL90 from Calgary and Bell Labs;
- HOL98 from Cambridge, Glasgow and Utah.
This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
میری سمجھ میں نہیں ارہا اتنی ساری ای میلز کے تھپ کی جانب سے مجھے کی جا رہی ہیں اور اس میں کیا کہا جا رہا ہے میری کچھ سمجھ میں نہیں ارہا مجھے تو ذرا تفصیل سے سمجھائیں کیا چیز ہے جو اپٹر 180 ڈیز ایکسپائر ہو جائے گی Muhammad Afaq
On Thu, May 22, 2025, 9:35 PM github-actions[bot] @.***> wrote:
github-actions[bot] left a comment (github/gitignore#2807) https://github.com/github/gitignore/pull/2807#issuecomment-2901865603
This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open 😄
— Reply to this email directly, view it on GitHub https://github.com/github/gitignore/pull/2807#issuecomment-2901865603, or unsubscribe https://github.com/notifications/unsubscribe-auth/ASKNPBHW3YVORWIAZVWACBT27X4ERAVCNFSM6AAAAAB5WROROKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDSMBRHA3DKNRQGM . You are receiving this because you are subscribed to this thread.Message ID: @.***>
This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:
