GitHub repository: siddhartha-gadgil/LeanAideTools
Primary language: Lean
Created: 2024-04-01T05:24:40Z
Description: Tools, specifically for running tactics in the background, with minimal dependencies