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

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

Last synced: 2 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 (about 2 years ago)
• Default Branch: main
• Last Synced: 2024-07-18T19:57:56.268Z (4 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)