TwoFX/bytestring
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
47 commits 1 branch 0 tags 127 KiB
  • Lean 100%
Find a file
Exact
Henrik Böving 4e40d77e26 firstDiffOffset
2025-09-04 13:16:24 +02:00
.github/workflows Initial commit 2025-08-05 10:06:36 +02:00
Bytestring firstDiffOffset 2025-09-04 13:16:24 +02:00
.gitignore Initial commit 2025-08-05 10:06:36 +02:00
Bytestring.lean lift slice API to bytestring 2025-08-26 10:37:36 +02:00
lake-manifest.json Initial commit 2025-08-05 10:06:36 +02:00
lakefile.toml Initial commit 2025-08-05 10:06:36 +02:00
lean-toolchain Bump to latest nightly 2025-09-01 07:48:15 +02:00
LICENSE Add license 2025-08-11 16:53:44 +02:00
README.md Initial commit 2025-08-05 10:06:36 +02:00

README.md

bytestring