hol 1.0.2
A higher order logic pre-unification implementation
Links
License
Apache-2.0Downloads
-
21
21
this version -
0
0
yesterday -
2
2
last 7 days -
113
113
all time
Recent Activity
- Oct 20, 2025 Publish documentation for release 1.0.2
- Oct 20, 2025 Publish release 1.0.2
- Oct 20, 2025 Publish documentation for release 1.0.2
- Oct 20, 2025 Publish release 1.0.2
- May 15, 2025 Publish documentation for release 1.0.1
- May 15, 2025 Publish documentation for release 1.0.1
- May 15, 2025 Publish release 1.0.1
- May 15, 2025 Publish documentation for release 1.0.1
- May 15, 2025 Publish release 1.0.1
jonaloew