Skip to content

Commit 225aa8b

Browse files
committed
Migrate Negligible.lean to Lean 4
1 parent 5564a71 commit 225aa8b

File tree

2 files changed

+183
-198
lines changed

2 files changed

+183
-198
lines changed

0 commit comments

Comments
 (0)