fix(doc): Fix warnings when building doc - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

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

Other

130 stars 33 forks source link

fix(doc): Fix warnings when building doc #1183

Closed bclement-ocp closed 1 month ago

bclement-ocp commented 1 month ago

Add a simple lexer for the smt-lib language
Fix link to the license documentation