hol-light
HOL Light theorem prover

news RSS

• [2023-10-28] hol-light 20231021-1 MIGRATED to testing (Britney)
• [2023-10-23] Accepted 20231021-1 in unstable (medium) (Debian FTP Masters)
• [2023-09-27] hol-light 20230128-2 MIGRATED to testing (Britney)
• [2023-09-07] Accepted 20230128-2 in unstable (medium) (Debian FTP Masters)
• [2023-02-05] hol-light 20230128-1 MIGRATED to testing (Britney)
• [2023-01-31] Accepted 20230128-1 in unstable (medium) (Debian FTP Masters)
• [2022-01-26] hol-light REMOVED from testing (Britney)
• [2020-02-17] hol-light 20190729-4 MIGRATED to testing (Britney)
• [2020-02-12] Accepted 20190729-4 in unstable (medium) (Debian FTP Masters)
• [2020-01-03] hol-light 20190729-3 MIGRATED to testing (Britney)
• [2019-12-29] Accepted 20190729-3 in unstable (medium) (Stéphane Glondu)
• [2019-11-15] hol-light REMOVED from testing (Britney)
• [2019-08-04] hol-light 20190729-2 MIGRATED to testing (Britney)
• [2019-07-29] Accepted 20190729-2 in unstable (medium) (Gianfranco Costamagna)
• [2019-07-29] Accepted 20190729-1 in unstable (medium) (Gianfranco Costamagna)
• [2019-07-29] Accepted 20190729-0.1 in unstable (medium) (Gianfranco Costamagna)
• [2017-10-24] hol-light REMOVED from testing (Britney)
• [2017-08-08] hol-light 20170109-2 MIGRATED to testing (Britney)
• [2017-08-03] Accepted 20170109-2 in unstable (medium) (Hendrik Tews)
• [2017-01-26] hol-light 20170109-1 MIGRATED to testing (Britney)
• [2017-01-15] Accepted 20170109-1 in unstable (low) (Hendrik Tews)
• [2013-12-02] hol-light 20131026-1 MIGRATED to testing (Britney)
• [2013-11-21] Accepted 20131026-1 in unstable (low) (Hendrik Tews)
• [2013-09-29] hol-light 20130811-1 MIGRATED to testing (Britney)
• [2013-09-18] Accepted 20130811-1 in unstable (low) (Hendrik Tews)
• [2013-06-07] hol-light 20130511-1 MIGRATED to testing (Britney)
• [2013-05-27] Accepted 20130511-1 in unstable (low) (Hendrik Tews)
• [2012-06-22] hol-light 20120602-1 MIGRATED to testing (Britney)
• [2012-06-12] Accepted 20120602-1 in unstable (low) (Hendrik Tews)
• [2012-06-04] Accepted 20120530-1 in unstable (low) (Hendrik Tews)