allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Research-Stack/0-Core-Formalism/lean/Semantics/Semantics/HCMMR
History
Brandon Schneider e5fb0a5f4d chore: commit accumulated working tree changes 
Lean: update Semantics modules, add new numerics/physics data files
Hardware: update FPGA bitstreams (tangnano9k_uart_loopback)
Infra: k3s-flake tests, netcup-vps configuration, VCN compute substrate
Docs: ARCHITECTURE, specs, citation updates
2026-05-30 00:10:02 -05:00
..
Kernels chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
Laws chore: commit accumulated working tree changes 2026-05-30 00:10:02 -05:00
Bridge.lean Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Core.lean Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Manifest.lean Add EntropyCollapseDetector kernel and arithmetic spec 2026-05-11 21:44:47 -05:00
v0_2_Roadmap.md Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00