Irrational Exuberance
!
Recent
Popular
Tags
About
RSS
Setting Up TLA+ Tools on OS X
October 31, 2009
A quick walkthrough for setting up the TLA+ tools on OS X.
tla