Explore projects
-
UpdatedUpdated
-
-
-
pigeonmoelleux / Effovex
GNU General Public License v3.0 onlyUpdated -
loutr / Proost
GNU General Public License v3.0 or laterA simple proof assistant written in Rust
Updated -
-
Software Heritage, une initiative non-lucrative de l'INRIA, clonera et archivera tous les dépôts en visibilité publique sur ce gitlab. Si vous ne souhaitez pas que cela arrive, vous pouvez modifier la visibilité de vos dépôts en allant dans Settings -> General -> Visibility, project features, permissions -> Project visibility. Pour plus d'informations sur l'initiative, vous pouvez vous rendre à la page https://www.softwareheritage.org/.
A simple proof assistant written in Rust