Shon Feder@shonfeder 
Allophilia x Synechism
tla top 100 model-checking top 100 stdlib top 1000

Expertise

Global rank

# 420,938

Location

Toronto
Languages
reasonm...
OCaml
Products
Git
Topics
tla
model-c...
stdlib
smt
data-st...
constra...
portabl...
package...
wiki
storage

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.