lemmster's submissions

1.		GenAI-Accelerated TLA+ Challenge (tlapl.us)
		35 points by lemmster 9 months ago \| past \| 16 comments
2.		TLA+ Survey 2022 – Tell us what you love and hate (docs.google.com)
		3 points by lemmster on May 16, 2022 \| past
3.		Leslie Lamport – TLA+: Viewed from 40k Feet and Ground Level (youtube.com)
		7 points by lemmster on Aug 25, 2021 \| past
4.		TLA+ spec finds bugs in Apache BookKeeper (github.com/vanlightly)
		2 points by lemmster on Feb 24, 2021 \| past \| 1 comment
5.		Weeks of Debugging Can Save You Hours of TLA+ (youtube.com)
		1 point by lemmster on Jan 5, 2021 \| past
6.		PlusPy: Python Interpreter for TLA+ Specifications (tlapl.us)
		4 points by lemmster on April 21, 2020 \| past \| 1 comment