Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 03 Aug 2024
