qbar (cargo): the rational proof assistant
Keywords: deduction|formal-verification|logic|natural-deduction|proof-assistant|qbar|rational-deduction|rust|rust-lang|type-theory