siddhartha-gadgilleanaide

Tools based on AI for helping with Lean 4
Displaying 1-1 of 1 packages depending on siddhartha-gadgil/leanaide
Sort by

  1. siddhartha-gadgil/MetaExamplesusesaa1df7d

    Examples using MetaProgramming for writing tactics etc.