Projects in Awesome Lists by qdeduction
A curated list of projects in awesome lists by qdeduction .
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
https://github.com/qdeduction/exprz
an expression library
expression-parsing expressions exprz s-expressions
Last synced: 09 Apr 2026