3 ms·
Stumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!
by dkga 2y ago
Stumbled across this excellent video while searching for ways to communicate proofs in a presentation using lean4. Hope you also like it!