Skip to Content
Blog
Consulting
Talks
About
Open Invite
Practical TLA+
NEW:
Three-day online TLA+ workshop, Oct 20-22. Register
here
.
Hillel Wayne
Tag:
Math
Posted on
2020, Aug 14
J Notation as a Tool of Thought
Posted on
2020, Jan 13
Hypermodeling Hyperproperties
Posted on
2018, Aug 10
1/0 = 0