Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The speculative specification for Alethe, a flexible format for SMT proofs.
-
Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.
-
Finite Element tools for A&M
-
Discrete Adjoint for Rapid Transonic Flows