siddhartha-gadgilMetaExamples

Examples using MetaProgramming for writing tactics etc.
Displaying 1-1 of 1 versions of MetaExamples
Sort by
  1. Not a part of any version track.
    9da9fce
    19 days ago
    Released on August 19, 2025 at 12:03:17PM
    Commit 9da9fce builds on its recent leanprover/lean4:v4.22.0
    v4.22.0
    51.3 KB Build archive size: 51252 bytes.