This repo is dedicated to TLA+ specifications.
Specification of a reversible hoist, invented by the Renaissance architect Brunelleschi.
More information and pictures available at the Biomimetics & Dexterous Manipulation Laboratory website.
More about TLA+ at Leslie Lamport's website and the TLA+ repository.
I’m extremely grateful to Stephan Merz, of INRIA Nancy (VeriDis team, LORIA Laboratory), who read the specification and suggested improvements that makes the specification simultaneously more concise and more expressive.
Specs about MarkdownToLaTeX. I am currently writing the spec of the routine that checks the input folder before we do anything else.