No results found

LeanAideTools

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/LeanLionusesv4.11.0

    Code for Singapore Workshop on Formal Proofs and Lean

  2. proofs-and-programs/PfsProgs25uses6662a02

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