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