Skip to content

Simplify lakefile.lean

e46b579
Select commit
Loading
Failed to load commit list.
Merged

chore: Update lean-ffi #341

Simplify lakefile.lean
e46b579
Select commit
Loading
Failed to load commit list.