Inggris

the rational proof assistant
@qbar

The QBAR Project

qbar memiliki 0 sponsor.

Janji Donasi

Deskripsi

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

Riwayat

qbar bergabung 3 tahun yang lalu.

Pendapatan Per Minggu (dalam Dolar Amerika Serikat)

Jumlah penyokong per minggu

Halaman ini berisi teks terjemahan mesin yang belum ditinjau dan mungkin tidak akurat. Anda dapat berkontribusi.