Skip to main content

🇸 Solidity development

We offer our Solidity development services. We work as contractors and our unique rate is $10,000 per month all inclusive. Our work can be terminated without notice period on your side. Some of our developers have more than 10 years of experience in software development, either in embedded systems or in Web applications (front and back). We strive to follow strict schedule and fulfill all customer requirements.

function winningProposal() public view
returns (uint winningProposal_)
{
uint winningVoteCount = 0;
for (uint p = 0; p < proposals.length; p++) {
if (proposals[p].voteCount > winningVoteCount) {
winningVoteCount = proposals[p].voteCount;
winningProposal_ = p;

We have experience in crypto-currencies and the development of secure protocols working for the auditing and formal verification of the Tezos blockchain with the project Coq Tezos of OCaml. We are currently running a program to make new formal verification tools for Solidity. Get more information on this page.

You can contact us by email at contact@formal.land ✉️ or schedule a call on koalendar.com/e/meet-with-formal-land ☎️.

Helping you build 🚀