Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • piper / viva

    ViVa FEM female model

    1
    updated
  • Why3 / why3

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    3
    updated