GitHub repository: plredmond/ivy-proofs
Description: A repository to collect Ivy proofs of various distributed algorithms