Mentions légales du service
Skip to content
GitLab
Explore
Sign in
hol-light
README
Find file
Blame
Permalink
Oct 11, 2024
aea86e76
Update README to mention OCaml 5.2 & use hol.sh in checkpointing
· aea86e76
Juneyoung Lee
authored
Oct 11, 2024
aea86e76
Update README to mention OCaml 5.2 & use hol.sh in checkpointing
Juneyoung Lee
authored
Oct 11, 2024
Loading
