mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-31 01:25:21 +00:00
15 lines
653 B
Markdown
15 lines
653 B
Markdown
# SilverSight — Language Port
|
|
|
|
Source of truth: `/home/allaun/SilverSight/formal/` (Lean 4)
|
|
|
|
This directory mirrors the Lean module structure. Each file implements
|
|
the same theorems/algorithms in this language, providing independent
|
|
cross-validation across runtimes.
|
|
|
|
Module map:
|
|
CoreFormalism/ → formal/CoreFormalism/ (braid, Q16_16, Sidon)
|
|
SilverSight/ → formal/SilverSight/ (PIST, AVMIsa, RRC)
|
|
BindingSite/ → formal/BindingSite/ (DNA, hachimoji)
|
|
PVGS_DQ_Bridge/ → formal/PVGS_DQ_Bridge/
|
|
UniversalEncoding/ → formal/UniversalEncoding/
|
|
nuvmap/ → python/nuvmap/ (NUVMAP projection)
|