New website for the Lean programming language!

Lean Language

Lean Programming Language

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

Fully Funded PhD position on Cybersecurity, Explanability, and Incident Response Contact: Prof. Dr. Giancarlo Guizzardi University of Twente Netherlands

Gist

bolsa.md

GitHub Gist: instantly share code, notes, and snippets.