Initial rough cut at a TLA+ spec for EC.

filecoin-project / consensus

Filecoin consensus work

Other

42 stars 5 forks source link

Initial rough cut at a TLA+ spec for EC. #53

Closed porcuquine closed 5 years ago

porcuquine commented 5 years ago

This is very rough, and I'm committing only the .tla file pending more discovery about how best to version control these files. This is intended to be run in simulation mode.