LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

grothendiek

A structured spec language based in CT

PythonEmerging

Stars

1

Forks

—

Contributors

—

Last push

7d ago

Recent commits

Latest commits.

README: core vocabulary and composition section; refresh stale tooling notes
a6a2e3esmd7d ago
rename readme
9667463smd7d ago
Delta cycle 7: the foundation (theory.md, law tests, THY criteria, D19)
2642efasmd7d ago
Delta cycle 6: well-founded reflection (D18), global coverage (D17) -- zero findings
2253283smd7d ago
Delta cycle 5: zero errors -- the spec now passes its own checker
b2b84d3smd7d ago

Regenerate REPORT.md via spec-check (replaces hand-run run 5)

693ed99smd7d ago

spec-check tool + tests: mechanize specs/checking.md

892f940smd7d ago

Add implementation prompt for spec check v1 (Python/uv)

fe38486smd7d ago

Top contributors

Builders behind this project.

No contributor data available.