JOSHCLUNEHammer

Sort by
  1. Local path dependency.
    Not found on Reservoir.

    HammerCore0.0.0

  2. Git dependency.
    Found on Reservoir.

    Qqv4.20.0

    Intuitive, type-safe expression quotations for Lean 4.
  3. Git dependency.
    Not found on Reservoir.

    premise-selectiond81f961