8000 Tags · jrh13/hol-light · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: jrh13/hol-light

Tags

Release-3.0.0

Toggle Release-3.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #115 from aqjune-aws/ocaml5

Add update_database for OCaml 5, fix a bug in search, add make switch-5
0