LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

ArkLib

Formally Verified Arguments of Knowledge in Lean

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

9d ago

Recent commits

Latest commits.

refactor(#114): inline appendToReductionResidual_proof in oracle challenge lift (drop hBridge hyp)
7b99cdcShaw9d ago
feat(#301): boundary-block perfect completeness — stirInit/stirFinal blocks complete vs the uniform proximity relation (axiom-clean)
e345e86lalalune9d ago
feat(#302/#138): Claim 5.9 T-form target CLOSED for monic quadratic H — shape from integrality, d=2 #138 residual pinned to the X-degree budget alone
b300a8dlalalune9d ago
autosync: ArkLib updates
baa9cc3lalalune9d ago
chore(#114): register AppendPerfectCompletenessOracleChallenge in the umbrella import
074c9ea

Shaw

9d ago

feat(#114): oracle-level challenge-seam append perfect-completeness keystone (unconditional)

b2472b8Shaw9d ago

audit(#62): de-launder vacuous 'breakthrough' checkpoint + land headline axiom-audit surface

98fe55dShaw9d ago

Merge remote-tracking branch 'fork/main'

659159cShaw9d ago

Top contributors

Builders behind this project.

alexanderlhicks