GitHub repository: lafeychine/proost
Primary language: Nix
Description: A simple proof assistant written in Rust