banri
0 commits
B
banri
@banr1
Co-founder of Nyx Foundation. Lean, Ethereum, AI for math, Formal verification, Cryptography.
- @NyxFoundation
- Tokyo
- github.com/banr1
- Joined October 2026
Commit activity
No commits yet
0 / 50 XP50 XP to daemon
fatal: no replies yet
@banr1 hasn't replied to anything yet.