Juneyoung Lee
Results
3
comments of
Juneyoung Lee
HOL Light now has `make switch` which will create a local OPAM switch and install dependency packages in there, as well as `hol.sh` which encapsulates all details about how to...
Passed s2n-bignum and holtest
Yes. I also updated `e.hlp` and included a small fix for #135 :)