Space: not-true/not_a_paradox
title: Not A Paradox
sdk: gradio
short_description:  a system that finds inconsistencies in formal systems
Tags: gradio, region:us