Back to CNCF
GSoC 2021

TLA+ Spec for Async Commit

Project details

Contributor

Zhuoran He

Mentors

Andy Lok, Ziqian Qin

Technologies

Not listed in the archive