the rational proof assistant
rust
logic
proof-assistant
type-theory
rust-lang
formal-verification
natural-deduction
deduction
qbar
rational-deduction
-
Updated
Jun 14, 2023 - Rust