Giters
Josef Widder (josef-widder)

josef-widder

Geek Repo

15

followers

0

following

6

stars

Github PK Tool:Github PK Tool

Organizations
informalsystems

Josef Widder's repositories

apalache

APALACHE: symbolic model checker for TLA+

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

cosmos-sdk

:chains: A Framework for Building High Value Public Blockchains :sparkles:

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Examples

A collection of TLA+ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:0Issues:0Issues:0