A simple proof assistant written in Rust
Minimal operating system
Nixos configuration
My fork of Proost.
