LibertasSpZ's Following
- Paul-Lez
- anpaz@Microsoft, @plse, @azure
- leanprover-community
- secure-foundations
- ocaml
- fenix-ai-dev
- logsemAarhus, Denmark
- adrianlehUniversity of Chicago
- rust-lang
- shouvanikc
- facebookMenlo Park, California
- fxdpntthmUniversity of Iowa
- ArmaelInria
- QuantamHD@google
- dwavesystems
- yav
- runtimeverificationChampaign, IL
- osrfMountain View, CA
- sonaalKant
- gpsaggese
- dremdemThailand
- PomazkinG
- gitpaulsmith
- cryptokaizen
- Open-QKD-NetworkWaterloo, ON, Canada
- GaloisIncPortland, OR
- jmarkakis
- alessgarUniversity of Maryland, College Park
- mjayadharanUniversity of Pittsburgh
- miniKanren
- ShashankSule
- NgiapBeijing
- ramonfmirLondon
- bolt12@well-typed
- fizruk@InnopolisUniversity
- marckhoury