Tools, specifically for running tactics in the background, with minimal dependencies
Primary LanguageLeanApache License 2.0Apache-2.0