Apress/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

TLA

300

14 commits

updated Apr 13, 2022

See the code

README

Apress Source Code

This repository accompanies Practical TLA+ by Hillel Wayne (Apress, 2018).

Cover image

Download the files as a zip using the green button, or clone the repository to your machine using Git.

Releases

Release v1.0 corresponds to the code in the published book, without corrections or updates.

Contributions

See the file Contributing.md for more information on how you can contribute to this repository.

Contributors

11 commits

1 commits

1 commits

1 commits

Similar repos

Apress/The-Practical-Guide-to-Large-Language-Models

Original source code for The Practical Guide to Large Language Models by Ivan Gridin

same org

benediktahrens/CT4P

hwayne/learntla

A TLA+ guide

280

clarksmr/sf-lectures

Software Foundations

161

acl2/acl2

ACL2 System and Books as Maintained by the Community

447

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

aburkov/theLMbook

This is the official repository for The Hundred-Page Language Models Book by Andriy Burkov

2,186

Languages

TLA

100.0%

Apress/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

TLA

300

14 commits

updated Apr 13, 2022

See the code

README

Apress Source Code

This repository accompanies Practical TLA+ by Hillel Wayne (Apress, 2018).

Cover image

Download the files as a zip using the green button, or clone the repository to your machine using Git.

Releases

Release v1.0 corresponds to the code in the published book, without corrections or updates.

Contributions

See the file Contributing.md for more information on how you can contribute to this repository.

Similar repos

Apress/The-Practical-Guide-to-Large-Language-Models

Original source code for The Practical Guide to Large Language Models by Ivan Gridin

same org

benediktahrens/CT4P

hwayne/learntla

A TLA+ guide

280

clarksmr/sf-lectures

Software Foundations

161

acl2/acl2

ACL2 System and Books as Maintained by the Community

447

djvelleman/HTPILeanPackage

Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

blanchette/logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

119

aburkov/theLMbook

This is the official repository for The Hundred-Page Language Models Book by Andriy Burkov

2,186

Contributors

11 commits

1 commits

1 commits

1 commits

Languages

TLA

100.0%