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