Lean

{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px); word-break:keep-all" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -1px -11px"	<colbgcolor=#393939,#737373><colcolor=#fff>제품군
하드​웨어	Surface · Xbox · HoloLens · PixelSense · Zune · Pluton · IVAS
소프트​웨어	Windows · Office · Edge · Media Player · Hyper-V · Defender · Visual Studio Code · Visual Studio · Windows Terminal · Microsoft Store · Xbox App · PowerToys · Internet Explorer · MS-DOS · Windows Movie Maker · Autoruns · Clipchamp
서비스	Microsoft Azure · OneDrive · Microsoft Copilot · Bing · LinkedIn · Microsoft Docs · Skype · MSN · 정품인증 · Xbox Game Pass · Xbox Cloud Gaming · Xbox network
관련 기술	ASF · ASP · Blazor · COM · DCOM · DirectX · 파일 시스템(FAT · NTFS · ReFS) · MFC · .NET(.NET Core · .NET Standard · C# · F# · Visual Basic .NET · Windows Forms · WPF · UWP · .NET MAUI · ASP.NET · ML.NET) · OLE · Q# · Silverlight · Visual Basic · VBA · WASAPI · Windows 커널 · Windows 디자인 · Windows API · Windows Runtime(UWP · WinUI 3) · WMA · WMV · Xamarin · XNA · 하복 엔진 · SAMI · PowerShell · Windows Modern Standby
산하 계열사 및 사업부	GitHub · .NET Foundation · Microsoft Gaming · LinkedIn
관련 인물	빌 게이츠(은퇴) · 폴 앨런(은퇴) · 스티브 발머(퇴사) · 게이브 뉴웰(퇴사) · 마이크 이바라(퇴사) 사티아 나델라 · 필 스펜서 · 브래드 스미스
기타	제니맥스 미디어 인수 · 액티비전 블리자드 인수 · 시작 메뉴 · 빌 게이츠의 굴욕
관련 틀	365 제품군 · 하드웨어 제품군 · Surface 제품군 · Windows 제품군	}}}}}}}}}

1. 개요

• Lean은 마이크로소프트 리서치에서 개발한 프로그래밍 언어이자 증명보조기이다.
• mathlib 등 주로 수학이론들을 형식화 하는데에 많이 쓰이고 있다.

2. 외부 링크

• https://lean-lang.org/