Add documentation for Windows support

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 3 weeks ago

This commit adds documentation for installing AE on Windows with opam 2.2.