Zetetic-Dhruv/formal-learning-theory-kernel
Used frontier LLM (supervised) + tools from my research program to force learning theory through proof assistant formalizing 210 theorems to 14,945 LOC of Lean. Found 5 false textbook assumptions, 3 irreducible type-theoretic fractures, and the hidden measure-theoretic cost of infinite domains.
Stars
1
Forks
—
Language
Lean
License
—
Category
Last pushed
Mar 27, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/Zetetic-Dhruv/formal-learning-theory-kernel"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
DariuszNewecki/CORE
Governance runtime enforcing immutable constitutional rules on AI coding agents
whataboutyou-ai/eunomia
Eunomia is the open-source authorization layer for AI Agents
Task-force-for-AI-agents-in-Healthcare/haarf
⚕️ the world's first unified, lifecycle-centric regulatory framework specifically designed for...
veristamp/AgentGovernor
AgentGovernor is a declarative AI workflow planner that enables secure, auditable, and...
rafapra3008/cervellaswarm
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent...