- ๐ Hi there, I'm Xiaokun Luan, a PhD student at Peking University
- ๐ญ I'm currently interested in trustworthy deep learning, formal modeling and verification, and component-based formal specification language
- ๐ซ How to reach me: [email protected]
luan-xiaokun / coq-serapi Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ejgallego/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
License: Other