Concept detail
Specification acquisition
0 tagged videos · 1 connection videos · degree 0
Publication timeline
- 2026-091 video
Source videos
Observed neighbors
dependent types
Dependent types let a high-level unoptimized program function directly as the formal specification AI optimizes against
1 source videos
AI Can Write the Proof. Who Checks It? — Leonardo de MouraRelated tagged insights
No core insights are tagged with this concept.