https://github.com/gitcordier/tlaplus

https://github.com/gitcordier/tlaplus

brunelleschi tla tla-plus tla-specification tlaplus

Last synced: about 20 hours ago
JSON representation

• Host: GitHub
• URL: https://github.com/gitcordier/tlaplus
• Owner: gitcordier
• License: cc0-1.0
• Created: 2023-08-02T09:55:32.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-08-08T15:51:58.000Z (over 1 year ago)
• Last Synced: 2024-11-06T01:50:41.434Z (about 2 months ago)
• Topics: brunelleschi, tla, tla-plus, tla-specification, tlaplus
• Language: TLA
• Homepage:
• Size: 1.44 MB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# tlaplus

## Content

### Introduction

This repo is dedicated to TLA+ specifications. 

### Brunelleschi 

#### Introduction

Specification of a [reversible 

hoist](https://github.com/gitcordier/tlaplus/tree/main/brunelleschi), 

invented by the Renaissance architect Brunelleschi. 

#### Bibliography

More information and pictures available at the Biomimetics & Dexterous Manipulation Laboratory [website](http://bdml.stanford.edu/Main/BrunelleschiNotes). 

More about TLA+ at Leslie Lamport's [website](http://lamport.azurewebsites.net/tla/tla.html) and the TLA+ [repository](https://github.com/tlaplus).

#### Aknowledgements

I’m extremely grateful to [Stephan Merz](https://github.com/muenchnerkindl), of [INRIA Nancy](https://www.inria.fr/en) 

([VeriDis team](https://team.inria.fr/veridis), 

[LORIA Laboratory](https://www.loria.fr/en)), 

who read the specification and suggested improvements that makes the specification simultaneously more concise and more expressive.

### MarkdownToLaTeX

#### Introduction

Specs about [MarkdownToLaTeX](https://github.com/gitcordier/MarkdownToLaTeX). 

I am currently writing the spec of the routine that checks the input folder before we do anything else.