Added on October 6, 2025
· 41:31 · 7.2K views
Added on August 19, 2025
· 6 min read
Added on August 19, 2025
· 7 min read
Added on July 30, 2025
· 1 min read
Added on July 30, 2025
· 1 min read
Added on July 30, 2025
· 1 min read
Added on July 29, 2025
· 1 min read
Added on July 25, 2025
· 1 min read
Added on July 24, 2025
· 76:05 · 1.4K views
Live demonstration of the Lean interactive theorem prover, showing how formal logic rules are encoded, manipulated, and verified, and discussing its role in mathematical research and future software tooling.
Added on July 22, 2025
· 19:24 · 21.1K views
Technical presentation linking Rust’s type system with type theory and proof techniques, valuable for language theorists and systems programmers.
Added on July 22, 2025
· 68:49 · 14.5K views
Added on July 22, 2025
· 42:43 · 136.7K views
Added on July 22, 2025
· 28:28 · 940.4K views
Added on July 22, 2025
· 40:14 · 27.9K views
Added on July 22, 2025
· 40:43 · 16.5K views
Added on July 22, 2025
· 17:13 · 23.7K views
Added on July 22, 2025
· 82:51 · 18.0K views
Added on April 1, 2025
· 34 min read
Added on January 19, 2025
· 11 min read
Added on December 17, 2024
· 3 min read
Added on December 16, 2024
· 2 min read