/consus-algorithm-tla

tla+ and plusCAL proof for a imperfect consensus algorithm

This repository is not active