https://gitlab.crans.org/loutr/proost

A simple proof assistant written in Rust
https://gitlab.crans.org/loutr/proost

Last synced: 6 months ago
JSON representation

A simple proof assistant written in Rust

• Host: gitlab.crans.org
• URL: https://gitlab.crans.org/loutr/proost
• Owner: loutr
• License: other
• Created: 2022-09-13T13:50:58.787Z (almost 3 years ago)
• Default Branch: main
• Last Synced: 2024-09-05T10:30:52.894Z (10 months ago)
• Stars: 8
• Forks: 1
• Open Issues:

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Proost - simple proof assistant. (Projects / Provers and Solvers)