Mailing List: hol-developers

For technical implementation-level discussions of the HOL system.

Subscribe to the hol-developers list

Country State Yes, also send me the SourceForge email newsletter regarding SourceForge news and resources concerning software development. I understand the newsletter may include advertisements & offers from SourceForge.net partners. I understand by clicking on "Subscribe" below I am agreeing to the SourceForge Terms of Use and the Privacy Policy which describe how we use and share your data. I agree to receive these communications from SourceForge.net. I understand that I can withdraw my consent at anytime.

JavaScript is required for this form.

Unsubscribe & Settings

Click here to unsubscribe or change settings

HOL theorem-proving system

Mailing List: hol-developers

Subscribe to the hol-developers list

Unsubscribe & Settings

Archives

HOL theorem-proving system

Mailing List: hol-developers

Subscribe to the hol-developers list

SourceForge Newsletters

Unsubscribe & Settings

Archives