angol
Profilkép

the rational proof assistant
@qbar

The QBAR Project

qbar-nak 0 támogatója van.

Leírás

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

Előzmények

qbar 3 évvel ezelőtt csatlakozott.

Heti jövedelem ( USA-dollár)

Támogatók Száma Hetente

Ez az oldal gépi fordítású szöveget tartalmaz, amelyet még nem vizsgáltak felül és amely pontatlan lehet. Itt tud hozzájárulni.