Skip to content

GitLab

Explore

Sign in

Proost

Project information

A simple proof assistant written in Rust

73 Commits
99 Branches
3 Tags

README
LICENSE

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

Loading