TwoFX/binary-search
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
8 commits 1 branch 0 tags 38 KiB
  • Lean 100%
Find a file
Exact
Markus Himmel 155eecb290 Build the library by default
2025-07-13 21:20:23 +02:00
.github/workflows Initial commit 2025-07-12 13:26:41 +02:00
BinarySearch Build the library by default 2025-07-13 21:20:23 +02:00
.gitignore Initial commit 2025-07-12 13:26:41 +02:00
BinarySearch.lean Initial commit 2025-07-12 13:26:41 +02:00
lake-manifest.json Initial commit 2025-07-12 13:26:41 +02:00
lakefile.toml Build the library by default 2025-07-13 21:20:23 +02:00
lean-toolchain Use nightly 2025-07-12 13:27:02 +02:00
LICENSE Add license 2025-07-13 21:16:19 +02:00
Main.lean Hmmm 2025-07-12 15:19:22 +02:00
README.md Initial commit 2025-07-12 13:26:41 +02:00

README.md

binary-search