{"owner":"forkjoin-ai","name":"buleyean-math","fullName":"forkjoin-ai/buleyean-math","source":"hybrid","description":"","avatarUrl":"https://avatars.githubusercontent.com/u/86985?v=4","ownerBio":"The beauty is knowing when to fold.","visibility":"public","defaultBranch":"main","primaryLanguage":"Lean","languages":[],"stars":0,"forks":0,"openIssues":0,"lastPushedAt":1775016336000,"freshnessTimestamp":1780534624592,"lastUpdatedAt":1774747893960,"readmeExcerpt":"BuleyeanMath The formal mathematical kernel of gnosis. One formula generates everything: Seven Universal Laws, 35 falsifiable predictions, and 350+ Lean 4 theorems (zero sorry) all reduce to this formula and Peano's successor axiom: succ(n) != 0.","scanRollup":null,"delivery":null,"org":null,"nexus":null,"team":{"collaboratorCount":1,"collaborators":[{"repoId":"09828dcc-caaa-4179-8803-c27b53810bfc","userId":"94624c37-2752-40a1-a9e1-4acf3b8f94ba","did":"did:aeon:root:3655f7bedf87150afc4b7358057e20d8","displayName":"buley","role":"admin"}]},"links":{"pageUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math","ideUrl":"https://forgo.cloud/ide/forkjoin-ai/buleyean-math","scanUrl":"https://mudras.us/repo/forkjoin-ai/buleyean-math","cloneUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math","importUrl":"https://forgo.cloud/login?import=forkjoin-ai%2Fbuleyean-math","preferredSync":"dashrelay-v1","syncCapabilities":{"supported":["dashrelay-v1","git-smart-http"],"preferred":"dashrelay-v1","cloneUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math","relayUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math","roomName":"forgo-repo:forkjoin-ai:buleyean-math"},"preferredTransport":"bitwise-syzygy","transportCapabilities":{"supported":["identity","bitwise-syzygy"],"preferred":"bitwise-syzygy","minimumPayloadBytes":1024,"cloneUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math"},"mirrorUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math","upstreamUrl":"https://forgo.cloud/forkjoin-ai/buleyean-math"}}