Proost

Proost

A simple proof assistant written in Rust