soft3/nox/proofs.md ฯ 0.0% 2 words ยท 1 min proofs Folder Homonyms Graph Mentions Folder Model.ei T1.ei T2.ei T3.ei Homonyms cyber/proofs cyb/prysm/proofs proofs Graph Mentions soft3/zheng/docs/explanation/why-zheng