Projects in Awesome Lists tagged with rational-deduction
A curated list of projects in awesome lists tagged with rational-deduction .
https://github.com/qdeduction/qbar
the rational proof assistant
deduction formal-verification logic natural-deduction proof-assistant qbar rational-deduction rust rust-lang type-theory
Last synced: 09 May 2025
