Skip to content
You must be logged in to sponsor formal-land

Become a sponsor to Formal Land

@formal-land

Formal Land

formal-land

We are a company developing open-source formal verification solutions for popular programming languages 🌲. An example is coq-of-rust to verify Rust programs 🦀. We work primarily remotely and on any continent 🌍.

Formal verification allows to mathematically reason 📐 about code to guarantee zero bugs, given an explicit specification. This is used in critical applications such as the space industry, medical software, and banking systems. We want to make formal verification more accessible by developing new tools that scale to any project 🚀.

Sponsorship is important for us to fund the development of our tools. If you are a company or individual using our products, do not hesitate to sponsor us and contact us! 🤙

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ one time

Choose a custom amount.

$10 one time

Select
  • Get a shoutout on Twitter

$50 one time

Select
  • Earn a mention in our Release notes

$350 one time

Select
  • One hour consulting or mentorship

$500 one time

Select
  • I'll run a workshop for your team

$1,000 one time

Select
  • One bug or medium sized bounty

$2,000 one time

Select
  • I'll give a talk at your conference

$5,000 one time

Select
  • Large contract project – contact me!