Lean: Past, Present, and Future (Invited Talk).

Sebastian Ullrich

Browse the full FSCD paper archive.