This website requires JavaScript.
Explore
Help
Sign In
logos-co
/
nomos-specs
mirror of
https://github.com/logos-co/nomos-specs.git
Watch
1
Star
0
Fork
You've already forked nomos-specs
0
Code
Issues
Packages
Projects
Releases
Wiki
Activity
99
Commits
86
Branches
0
Tags
4.7
MiB
master
Commit Graph
3 Commits
Author
SHA1
Message
Date
David Rusu
9f6b9eb242
Specify mock-leader-proof in message spec
2024-02-02 01:16:14 +04:00
David Rusu
b8966762e0
feat(lottery): spec out basic leader slot check
2024-01-25 02:04:35 +04:00
Daniel Sanchez
0f0ccc3487
Initial commit
2023-03-20 06:07:52 -07:00