ejgallego/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
CoqNOASSERTION
Stargazers
- AlexxNica@nikas-org
- andreypopp@mechanize-systems
- anton-trunovTON Foundation
- bolluUniversity of Cambridge
- bsdzLondon
- chessai
- ckeller
- conengineTashirojima
- corwin-of-amber
- cpitclaudelEPFL
- decalek
- falcondaiSymbolica AI
- gallettilanceRed Hat | Boston University
- jimyu94New York
- jmitchellSeattle
- johnbenderSandia National Laboratories
- justanotherdot@heydovetail
- let-defTarides
- Liby99University of Pennsylvania
- mukeshtiwariSwansea
- oersted
- palmskogKTH Royal Institute of Technology
- psacawa
- samoht@tarides
- sdiehlLondon
- smondetNew York, NY
- soraros
- terlar@seb-oss
- vbgl
- vicSoftware Villain
- whonore
- wrrnhttn
- xamgore
- xvw@funkywork, @tarides
- yangky11Meta Fundamental AI Research (FAIR)
- yurrriq@sportradar