Concept detail
proof assistants like Lean
0 tagged videos · 1 connection videos · degree 0
Publication timeline
- 2026-101 video
Source videos
Observed neighbors
executable physics
Proof assistants are the substrate that makes a domain executable/verifiable.
1 source videos
The Physicist Revolutionizing Physics With AIRelated tagged insights
No core insights are tagged with this concept.