User avatar

TLA+ should hold some sort of a record for the highest level of abstraction among programming/specification languages. http://lamport.azurewebsites.net/video/intro.html

1 2 3 4 5 6 7 8 9 10