Skip to content
This repository was archived by the owner on Aug 31, 2026. It is now read-only.

EAS code fix for Lean v4.20 - #2

Open
arademaker wants to merge 1 commit into
mainfrom
eas
Open

EAS code fix for Lean v4.20#2
arademaker wants to merge 1 commit into
mainfrom
eas

Commits

Commits on May 22, 2025

  • wip

    arademakerarademaker
    committed
    2e47ae2