GitHub repository: will62794/endive
Primary language: TLA
Created: 2022-07-18T00:39:17Z
Description: Tool for inferring inductive invariants of protocols specified in TLA+.