Pinned Loading

1. proost-assistant/proost proost-assistant/proost Public

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

   Rust 30 3