LeanAideTools
Tools, specifically for running tactics in the background, with minimal dependencies
1-1 of 1 packages depending on siddhartha-gadgil/LeanAideTools
Sort by
Package Name
siddhartha-gadgil/LeanLionuses
v4.11.0Code for Singapore Workshop on Formal Proofs and Lean