Adrian
Results
2
issues of
Adrian
When reading the documentation I noticed that the LaTeX equations where broken or hard to read. This PR rewrites them so they can be rendered by GitHub directly instead of...
lattigo
This includes the work done to : - parse the AST returned by SerAPI for sentences written in the editor. - port the tactics library to Ltac2 - create an...