2 ms·
Lean4 is "sponsored" by Microsoft See pages 9-10, 14 https://web.archive.org/web/20250818144653/https://aitp-conference.org/2019/slides/KB.pdf https://web.arch
by gsf_emergency_4 1y ago
Lean4 is "sponsored" by Microsoft
See pages 9-10, 14
https://web.archive.org/web/20250818144653/https://aitp-conference.org/2019/slides/KB.pdf https://web.archive.org/web/20250818144653/https://aitp-conf...
Also
https://youtu.be/g2--VL2SkMo?t=44m42s https://youtu.be/g2--VL2SkMo?t=44m42s