kernel reduction explosion a surprisingly inefficient computation in lean 4

Name: kernel reduction explosion a surprisingly inefficient computation in lean 4
Uploaded: Dec 19, 2023
Description: kernel reduction explosion a surprisingly inefficient computation in lean 4