Et verktøy for å utføre matematiske bevis visuelt i ulike logikksystemer, som utsagnslogikk og predikatlogikk, ved å koble sammen blokker som representerer hvert bevissteg.

Kilde: https://incredible.pm/