Clarify Inference as a dual-purpose language

[0xGeorgii]

See inf-llvm implementation

[Copilot]

Pull request overview

This PR updates the documentation to clarify that Inference is a dual-purpose language designed for both formal specification and high-assurance application development. The changes reflect the implementation of inf-llvm which enables compiling Inference code to executable binaries via LLVM IR.

Key Changes:

• Repositioned Inference from a Web3-specific formal specification language to a general-purpose high-assurance language suitable for any critical system
• Updated compilation workflow to distinguish between formal specification (proof generation) and executable application paths
• Clarified the platform-agnostic design, emphasizing WASM as the current primary target with support for other architectures (RISC-V, EVM) possible through modular backend extensions

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
terms-and-definitions.md	Updated infc compiler description to include executable binary generation alongside proof code
introduction.md	Expanded language design considerations to emphasize dual-purpose nature and broader architectural targets
general-description.md	Added detailed compilation workflow distinguishing formal specification from application execution paths
basic-concepts.md	Clarified execution model to explain both specification (theorem prover) and execution (binary) targets
README.md	Updated main description to present Inference as a high-assurance language for verifiable programs beyond Web3

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.