영어
아바타

the rational proof assistant
@qbar

The QBAR Project

0 명이 qbar 님께 기부하고 있습니다.

설명

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

역사

qbar 님은 3년 전에 가입했습니다.

주당 수익 (미국 달러)

주간 후원자 수

이 페이지에는 아직 검토되지 않았으며 정확하지 않을 수 있는 기계 번역된 텍스트가 포함되어 있습니다. 기부할 수 있습니다.