hol-light

Public

The HOL Light theorem prover (moved from Google code)

Other

Updated Jan 23, 2026

Created Sep 1, 2017

0 stars

0 forks

1 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

353 commits

38 commits

24 commits

12 commits

10 commits

6 commits

5 commits

2 commits

2 commits

1 commits

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 23, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics