Hugging Face Space: not-true/not_a_paradox
Author: not-true
SDK: gradio
title: Not A Paradox
short_description:  a system that finds inconsistencies in formal systems