HOL theorem-proving system Mailing Lists

Brought to you by: michaeln, slind

• Summary
• Files
• Reviews
• Support
• Mailing Lists
• Tickets ▾
  • Feature Requests
  • Bugs
• News
• Discussion
• Code

Menu ▾ ▴

• hol-builds
• hol-checkins
• hol-developers
• hol-info

Mailing Lists

• hol-builds: Subscribe | Archive | Search — Logs of automatic builds
• hol-checkins: Subscribe | Archive | Search — Check-in messages from everything done in the HOL project.
• hol-developers: Subscribe | Archive | Search — For technical implementation-level discussions of the HOL system.
• hol-info: Subscribe | Archive | Search — Discussion, questions and announcements related to the HOL System.