Skip to content

GitLab

Explore

Sign in

loutr
Proost

Proost

Project information

A simple proof assistant written in Rust

71 Commits
98 Branches
3 Tags

README
GNU General Public License v3.0 or later

Created on

September 13, 2022

Copy SSH clone URLgit@gitlab.crans.org:loutr/proost.git
Copy HTTPS clone URLhttps://gitlab.crans.org/loutr/proost.git