Skip to Content
Blog
Projects
Talks
Consulting
About
Books
Newsletter
New:
We're accepting proposals for the
2021 TLA+ Conference
! Submission deadline is July 1, conference is Sept 30.
Apply here
.
Hillel Wayne
Tag:
Terms
Posted on
2021, Jun 06
Clever vs Insightful Code
Posted on
2020, May 18
Constructive vs Predicative Data