Space: Ulisaurio33/basiclogic-proof-workbench
title: BasicLogic Proof Workbench
sdk: gradio
short_description: Verified transformer proofs in a single-axiom NAND system
license: mit
Tags: gradio, region:us