3 ms·
FYI The Lean 4 paper: https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37 https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37
by flakiness 7mo ago
FYI The Lean 4 paper: https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37 https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37