This repository was archived by the owner on Jun 17, 2026. It is now read-only.

chore: Fix some more compilation errors#14

Open

intgrah wants to merge 1 commit into

leanprover:masterfrom

Commits on May 19, 2026

Fix compilation errors
intgrah
committed