Popular repositories Loading

1. proost proost Public

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

   Rust 27 2

2. ProostLean ProostLean Public

   An reimplementation of the Proost proof-assistant written in Lean 4

   Lean 12

3. github-sync-lfs github-sync-lfs Public

   Dockerfile