Pinned Loading

1. qbar qbar Public

   the rational proof assistant

   Rust 2

2. rational_deduction rational_deduction Public

   Rust implementation of the rational deduction algorithms

   Rust

3. exprz exprz Public

   an expression library

   Rust 1