proost-assistant/proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
RustGPL-3.0
No issues in this repository yet.
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
RustGPL-3.0
No issues in this repository yet.