Signin

Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4

David Renshaw • December 25, 2023
Video Thumbnail

You May Also Like

David Renshaw

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4

David Renshaw

Video Thumbnail

Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4

David Renshaw

AI Assistant

Loading...