flp
flp copied to clipboard
Published
20 hours ago •
kushti
kushti
Formalization of FLP Impossibility Theorem
Results
1
flp issues
Sort by
recently updated
recently updated
newest added
Hey @kushti. I know it's been a while since you worked on this, but I really appreciated reading through your code. That being said, I think there might be an...
