Free to follow every thread. No paywall, no dead ends.
Programming languages created in 2013 | HearLore
— Curated category —
Programming languages created in 2013
Lean (proof assistant)The year 2013 marked the launch of a new tool called Lean. Brazilian computer scientist Leonardo de Moura developed this system while working at Microsoft…