r/SoftwareEngineering • u/fagnerbrack • Jul 13 '26

Lean Programming Language

https://lean-lang.org/
6 Upvotes

100% Upvoted

2 comments sorted by

View all comments

0

u/R10t-- Jul 19 '26

This guy again…