Paxos In Dafny vs Algorithm Couponcode
| Algorithm Couponcode | Paxos In Dafny | |
|---|---|---|
| Stars | 31 | 5 |
| Downloads | ||
| Dependent Packages | ||
| Dependent Repos | ||
| Most Recent Commit | 7 years ago | 9 years ago |
| Total Releases | 7 | |
| Latest Release | November 25, 2015 | |
| Open Issues | 1 | |
| License | ||
| Programming Language | Perl | C# |