Update LICENSE.md - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

131 stars 33 forks source link

Update LICENSE.md #1128

Closed Halbaroth closed 4 months ago