What We Do

Software development with a focus on computational semantics, automated reasoning, knowledge representation, advanced user interface, and functional programming languages (e.g. Haskell.)

Industry

Color Preferences

Black White Grey Green, any

Our Ideas and Additional Information:

Mathematical logic symbols, lower case greek Lambda (but this is already heavily used by related companies.) https://well-typed.com/ https://iohk.io/ https://www.tweag.io/ https://www.fpcomplete.com/ https://galois.com/ https://serokell.io/ https://typeable.io/