Finn Eger
Results
1
issues of
Finn Eger
Adopted `Equatable` in `TOTP` and `HOTP`, relying on automatic synthesis of the protocol’s requirements.