Issues
- 3
- 0
Mention || when first used
#95 opened by courajs - 1
Dining philosophers with 1 diner has Deadlock
#97 opened by mikeazo - 0
- 2
Start updating this again
#100 opened by hwayne - 0
- 1
- 0
Incorrect answer for LargestTwinPair exercise
#88 opened by pshirshov - 0
Migrate over to Sphinx
#89 opened by hwayne - 0
Make the capture variable different from the free variable to make less confusing
#71 opened by hwayne - 0
Explanation for Structures is misleading
#41 opened by hwayne - 3
- 1
- 1
- 1
Inline interactive/executable TLA+
#105 opened by will62794 - 6
- 0
- 2
- 1
What's new in Hugo and Theme?
#33 opened by hwayne - 1
TLA+ Operators section is not explicit
#77 opened by gantsevdenis - 1
Migrate from Pygments to Chroma
#31 opened by hwayne - 0
\A and \E can have multiple elements per set
#26 opened by hwayne - 1
Issue with Practical TLA+ Repository
#65 opened by asmyers - 0
- 2
Example on "Behaviors" page invalid Pluscal
#42 opened by hwayne - 3
- 1
Unknown operator: 'account_total'
#58 opened by vjocw - 2
- 2
Dead link on "Using the Toolbox"
#52 opened by YoranBrondsema - 7
- 2
- 0
Add linkback to Hanoi Solver in constants
#43 opened by hwayne - 1
Please add a license to this repo
#46 opened by mbrukman - 3
- 2
- 1
Typo in solution to exercise InSeqSets
#40 opened by lemmy - 3
- 0
Investigate adding mermaid diagrams
#32 opened by hwayne - 5
- 0
[elaborate]
#21 opened by hwayne - 0
- 0
Fix any spec errors stemming from => or <=>
#20 opened by hwayne - 0
Fix hanoi constant spec
#19 opened by hwayne - 1
Fix expression where I say zero is two
#15 opened by hwayne - 0
Write about cartesian products
#11 opened by hwayne - 2