Zee
brains
Home
Nollywood
Yoruba
Request
Contact
☰
Search
Error: Search failed: Failed to fetch YouTube search results
Home
Drama
[CPP'26] A Certifying Proof Assistant for Synthetic Mathematics in Lean (2026)
[cpp'26] A Certifying Proof Assistant For Synthetic Mathematics In Lean
2026
21:51
Synopsis
A Certifying Proof Assistant for Synthetic Mathematics in Lean (Video, CPP 2026) Wojciech Nawrocki, Joseph Hua, Mario ...
Share
Download
Watch Later
Report
You Might Also Like
No related videos found.