rational-deduction

There are 0 repository under rational-deduction topic.

• qdeduction / qbar

  the rational proof assistant

  qbardeductionlogictype-theoryrustnatural-deductionrust-langrational-deductionproof-assistantformal-verification
  Language:Rust 1

• qdeduction / rational_deduction

  Rust implementation of the rational deduction algorithms

  qdeductionrational-deductionrust
  Language:Rust 0