https://github.com/talex5/tla-toolbox

A Dockerfile for installing the TLA toolbox
https://github.com/talex5/tla-toolbox

Last synced: 6 days ago
JSON representation

A Dockerfile for installing the TLA toolbox

• Host: GitHub
• URL: https://github.com/talex5/tla-toolbox
• Owner: talex5
• Created: 2020-06-02T14:04:50.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-02T14:05:20.000Z (over 4 years ago)
• Last Synced: 2024-10-30T06:08:03.354Z (about 2 months ago)
• Language: Dockerfile
• Size: 0 Bytes
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project