Mailing List: hol-checkins

Check-in messages from everything done in the HOL project.

Subscribe to the hol-checkins 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-checkins

Subscribe to the hol-checkins list

Unsubscribe & Settings

Archives

HOL theorem-proving system

Mailing List: hol-checkins

Subscribe to the hol-checkins list

SourceForge Newsletters

Unsubscribe & Settings

Archives