Skip to content
You must be logged in to sponsor Inferara

Become a sponsor to Inferara

@Inferara

Inferara

Japan

Inferara is an independent research group specializing in Programming Languages and Formal Methods.

Following Web3 openness, we work from an open source and publish the results of our work for the public good.

Inference

Inference is the first developer-friendly formal specification language designed for Web3.

Inference language spec is available.

@Inferara

We will stop spending our savings.

Meet the team

Featured work

  1. Inferara/inference-language-spec

    🌀 Inference programming language specification

Learn more about sponsoring developers and organizations.

Report abuse

0% towards $10,000 per month goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.