英語
アバター

the rational proof assistant
@qbar

The QBAR Project

qbarには0人の支援者がいます。

説明

This project is focused on the creation of an automated theorem prover and proof assistant for generalized deduction systems.

履歴

qbarさんは3 年前に参加しました。

1週あたりの収入(米ドル)

1週あたりの支援者の数