proost-assistant / proost

A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
27Updated 3 months ago

Related projects

Alternatives and complementary repositories for proost