Skip to content
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Research
Applications
Programming & Algorithms
Testbeds
Devices
Materials
Events
Partners
News
Resources
Educational Opportunities
Careers and Training
About
Contact
Press Release
Research & Member Highlights
Close Research & Member Highlights
Open Research & Member Highlights
Applications
Algorithms
Testbeds
Devices
Materials
Partners
Close Partners
Open Partners
Amazon
Microsoft
IBM
Micron
Ionq
Boeing
Category:
Amazon Science
04/17/2026
Isabelle/HOL: The proof assistant behind the Nitro Isolation Engine
At Amazon’s 2025 re:Invent conference, Amazon Web Services
