3 ms·https://lean-lang.org/about/ https://lean-lang.org/about/ is an open source projectby rcpt 2y agohttps://lean-lang.org/about/ https://lean-lang.org/about/ is an open source project