Document recommended way to depend on HolBA

kth-step / HolBA

Binary analysis in HOL

Other

33 stars 20 forks source link

Closed palmskog closed 4 months ago

palmskog commented 4 months ago

Also, fixed a potential load issue when using an editor for a file (Holmake build works fine).