Stargazers
- aziem
- c-cubeImandra (@imandra-ai)
- daveduthie@lifecheq
- jjlIndependent consultant
- lrkkrWaseda University
- madvagabond
- mathprocessingRussia, Novosibirsk
- mseriRijksuniversiteit Groningen
- objectxMeguro-ku, Tokyo
- onianiArlington, VA, USA
- SeshatCZCzech republic
- spica314Yokkaichi, Japan
- sthielePotassco Solutions
- timothyklim
- togatogaTokyo
- zshipko@dylibso