Skip to content
@qdeduction

qbar

the rational proof assistant

Pinned Loading

  1. qbar qbar Public

    the rational proof assistant

    Rust 1

  2. rational_deduction rational_deduction Public

    Rust implementation of the rational deduction algorithms

    Rust

  3. exprz exprz Public

    an expression library

    Rust

Repositories

Showing 3 of 3 repositories
  • qbar Public

    the rational proof assistant

    qdeduction/qbar’s past year of commit activity
    Rust 1 ISC 0 0 6 Updated Jun 14, 2023
  • exprz Public

    an expression library

    qdeduction/exprz’s past year of commit activity
    Rust 0 ISC 0 0 0 Updated Jun 18, 2021
  • rational_deduction Public

    Rust implementation of the rational deduction algorithms

    qdeduction/rational_deduction’s past year of commit activity
    Rust 0 ISC 0 0 0 Updated Jun 16, 2021

Top languages

Loading…

Most used topics

Loading…