Amazon makes the largest donation in the Lean FRO's history
The Automated Reasoning group's grant is the biggest the Focused Research Organization behind Lean has received. In the same month Microsoft Research described using Lean, through the Aeneas toolchain, to verify the cryptography that ships in SymCrypt — the proof assistant mathematicians adopted is now load-bearing in production software.
Sources
Source 1 of 1
Lean FRO
lean-lang.org
The Automated Reasoning group's grant is the biggest the Focused Research Organization behind Lean has received.
Open originalSummary
In the same month Microsoft Research described using Lean, through the Aeneas toolchain, to verify the cryptography that ships in SymCrypt — the proof assistant mathematicians adopted is now load-bearing in production software.
- 01Lean FRO