Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/katzenpost/formal_specifications
formal specifications
https://github.com/katzenpost/formal_specifications
Careful, Spec is not machine closed
lemmy opened this issue over 1 year ago
lemmy opened this issue over 1 year ago
Add basic dirauth spec in TLA+
david415 opened this pull request over 1 year ago
david415 opened this pull request over 1 year ago