Why3

Why3 is an open-source platform for deductive program verification that facilitates the formal proof of software correctness. It utilizes the WhyML specification language and integrates with a wide range of automated and interactive theorem provers to discharge verification conditions. The tool supports the verification of C, Java, and Ada programs and allows for the extraction of correct-by-construction OCaml code.

LLM mention score

Normalized 0–100 · last 8 weeks

DataForSEO API

Get LLM mention data of any company via DataForSEO API

Get access to the structured data on keyword, brand, and website mentions in LLMs, including metrics like AI search volume, impressions, and mentions count.

Get Free API Credits API Documentation

How to get LLM mention data →

// Fetch Why3 mentions
POST v3/ai_optimization/llm_mentions/search/live
[
    {
        "target": [
            {
                "keyword": "Why3",
                "search_scope": ["any"]
            }
        ],
        "platform": "chat_gpt",
        "order_by" : ["ai_search_volume,desc"]
    }
]