Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/hengxin/jupiter-refinement-project

collaborative-editing formal-verification jupiter refinement tla tlaplus tlaps tlc

Last synced: 3 days ago
JSON representation

Jupiter Refinement Project

Host: GitHub
URL: https://github.com/hengxin/jupiter-refinement-project
Owner: hengxin
Created: 2019-02-01T05:23:38.000Z (almost 6 years ago)
Default Branch: master
Last Pushed: 2020-11-23T05:05:06.000Z (almost 4 years ago)
Last Synced: 2023-03-31T13:31:06.492Z (over 1 year ago)
Topics: collaborative-editing, formal-verification, jupiter, refinement, tla, tlaplus, tlaps, tlc
Language: TeX
Size: 55.9 MB
Stars: 1
Watchers: 4
Forks: 0
Open Issues: 2