Skip to main content
Microsoft
Research
Research
Research
Home
Our research
Resources
Resources
Publications
Code & data
People
Microsoft Research blog
Research areas: Intelligence
Research areas: Intelligence
Artificial intelligence
Audio & acoustics
Computer vision
Graphics & multimedia
Human-computer interaction
Human language technologies
Search & information retrieval
Research areas: Systems
Research areas: Systems
Data platforms and analytics
Hardware & devices
Programming languages & software engineering
Quantum computing
Security, privacy & cryptography
Systems & networking
Research areas: Theory
Research areas: Theory
Algorithms
Mathematics
Research areas: Other Sciences
Research areas: Other Sciences
Ecology & environment
Economics
Medical, health & genomics
Social sciences
Technology for emerging markets
Programs & events
Academic programs
Events & academic conferences
Microsoft Research Forum
Connect & learn
Behind the Tech podcast
Microsoft Research blog
Microsoft Research Forum
Microsoft Research podcast
About
People & news
People & news
About Microsoft Research
Careers & internships
People
Emeritus program
News & awards
Microsoft Research newsletter
Microsoft Research Labs
Microsoft Research Labs
Africa
AI for Science
AI Frontiers
Asia Lab (Chinese)
Asia Lab (English)
Cambridge
Health Futures
India
Montreal
New England
New York City
Redmond
Other labs
Other labs
Applied Sciences
Mixed Reality & AI - Cambridge
Mixed Reality & AI - Zurich
More
Register: Research Forum
All Microsoft
Global
Microsoft Security
Azure
Dynamics 365
Microsoft 365
Microsoft Teams
Windows 365
Tech & innovation
Tech & innovation
Microsoft Cloud
AI
Azure Space
Mixed reality
Microsoft HoloLens
Microsoft Viva
Quantum computing
Sustainability
Industries
Industries
Education
Automotive
Financial services
Government
Healthcare
Manufacturing
Retail
All industries
Partners
Partners
Find a partner
Become a partner
Partner Network
Find an advertising partner
Become an advertising partner
Azure Marketplace
AppSource
Resources
Resources
Blog
Microsoft Advertising
Developer Center
Documentation
Events
Licensing
Microsoft Learn
Microsoft Research
View Sitemap
Search
Search Microsoft Research
No results
Cancel
Lean
Programming language and theorem prover
Overview
People
Publications
Downloads
Videos
Groups
News & features
Groups
Loading…
Opens in a new tab
Follow us:
Follow on Twitter
Like on Facebook
Follow on LinkedIn
Subscribe on Youtube
Follow on Instagram
Subscribe to our RSS feed
Share this page:
Share on Twitter
Share on Facebook
Share on LinkedIn
Share on Reddit
