GaloisInc/lean-protocol-support
This project contains various supporting libraries for lean to reason about protocols.
LeanApache-2.0
Stargazers
- ahmadsalimUniversity of Copenhagen
- akhileshsSan Francisco, CA
- akuhlensSemgrep
- alashworthArlington, VA
- alcidesLASIGE, University of Lisbon
- anders-was-here
- appanpQuadrinous
- beike-zh
- bryangingechen
- btbytesMicrosoft
- ChobbesPhiladelphia
- cpehleCold Spring Harbor Laboratories
- CYBAITokyo
- dannypsnl@second-state
- EugeneNadferret
- guilhermehasChalmers
- jfischoffCanonical LLC
- johnrieth-zz
- KhaLean FRO
- louismhowePortland, OR
- mgrabovskyFakta o klimatu
- mietek
- minchaowuAustralian National University
- pnwamk@AWS
- progerSupercomputer City
- prpr2770University of Colorado Boulder
- RaitoBezariusIndependent Contributor
- ramonfmirLondon
- romac@informalsystems
- rrika
- s-zanellaMicrosoft
- shipeng331
- skaslev@payhawk
- tomhoule@grafbase
- verybusybusiness
- zclflyPeking University