GitHub repository: proost-assistant/proost
Primary language: Rust
Created: 2023-01-05T16:04:11Z
Description: A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.