A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
Primary LanguageRustGNU General Public License v3.0GPL-3.0