fix typo in Navigation section

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project

MIT License

3 stars 2 forks source link

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

In the README file, the link to "system functionality" results in an error.