drpacman

↗ HN profile [ 6928 ms ] full profile

Karma: 0
Created: ()
Submissions: 0

This is a lovely little course on TLA+ by Lamport himself - has some great wigs too https://lamport.azurewebsites.net/video/videos.html

1d ago · view thread · ↗