Intel / repo

A lean formalization of From Linearity to Borrowing

Source: github.com
Author: empath75
Date: Published Oct 2, 2026

Why it matters

Shows a coding producing a near-complete Lean formalization of a recent programming-languages paper in weeks, a practical signal for AI-assisted formal verification.

Terms in this piece · Glossary

AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.

Read the source github.com