A revision of STac that focuses more on Result
updates to AutoProver.
updates to reduction