siddhartha-gadgilLeanAideTools

Tools, specifically for running tactics in the background, with minimal dependencies
Displaying 1-2 of 2 packages depending on siddhartha-gadgil/LeanAideTools
Sort by

  1. siddhartha-gadgil/LeanLionuses54587fe

    Code for Singapore Workshop on Formal Proofs and Lean

  2. proofs-and-programs/PfsProgs25usesbdef159

    Code for the course "Proofs and Programs", January 2025, IISc