Why this is here: GitHub published this recently, and VQV found enough topic fit to include it in the current reading window.
VQV Signal
PUBLIC SIGNAL · NOISE
84% signal strength
iroha1203/AlgebraicArchitectureTheoryV2
Research and tooling for AAT and SFT, making software evolution computable through Lean formalization, ArchSig, and web-native notes. Stars: 3. Updated repository signal.
Public Interest 0
Signal Strength 84
Source Type github
Reposts 0
Topic Quality 47
Open the original source for full context, or open the topic page to see related signals and the topic timeline.