mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-30 17:16:16 +00:00
allaun
2ef30d8a82
- SilverSight.PrimeLut module: pure API matching Research Stack PrimeLut.lean - Embedded small LUT: first 168 primes, twin/safe subsets, all #eval witnesses - BinaryLUT backend: reads primes.bin + primes.index via IO.FS.readBinFile for full 105M prime coverage (< 2^31) - Added precomputed-math-data as git submodule at external/ - Registered in SilverSightFormal lake library Build: 3307 jobs, 0 errors (lake build)
3 lines
149 B
Text
3 lines
149 B
Text
[submodule "external/precomputed-math-data"]
|
|
path = external/precomputed-math-data
|
|
url = https://github.com/allaunthefox/precomputed-math-data.git
|