https://github.com/hengxin/tlaps-examples

Examples for TLAPS (TLA+ Proof System)
https://github.com/hengxin/tlaps-examples

formal-methods theorem-prover theorem-proving tlaplus tlaps

Last synced: about 1 month ago
JSON representation

Examples for TLAPS (TLA+ Proof System)

• Host: GitHub
• URL: https://github.com/hengxin/tlaps-examples
• Owner: hengxin
• License: mit
• Created: 2019-07-16T02:39:50.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-05-09T13:08:12.000Z (over 4 years ago)
• Last Synced: 2024-04-15T23:01:35.081Z (8 months ago)
• Topics: formal-methods, theorem-prover, theorem-proving, tlaplus, tlaps
• Language: TeX
• Size: 4.76 MB
• Stars: 9
• Watchers: 1
• Forks: 6
• Open Issues: 1

Awesome Lists containing this project