AMETHYST (AutoMated THeorY SubsTitution): Formal language generation that is explainable, explorable, and extensible by humans Download Tags: C3E License: Creative Commons 2.5 Submitted by Regan Williams on Thu, 10/19/2023 - 19:26