8000 Sponsor @konnov on GitHub Sponsors · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
You must be logged in to sponsor konnov
Become a sponsor to igor@konnov.phd
@konnov

igor@konnov.phd

konnov
3FB9 Vienna, Austria

Support Igor's open source work, especially, on the Apalache model checker for TLA+ and Apalache examples.

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$10 a month

Select
  • Get a Sponsor badge on your profile

$30 a month

Select
  • Logo or name goes in my project README
0