hol 1.0.1
A higher order logic pre-unification implementation
Links
License
Apache-2.0Downloads
-
11
11
this version -
7
7
yesterday -
11
11
last 7 days -
11
11
all time
Versions (1)
- 1.0.1 May 15, 2025
Dependencies (0)
Recent Activity
- 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