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

Loading