Formal Land

Location: France, office address not availableCybersecurityB2Bformal.land

Machine-checked Rocq and Lean proofs for Web3. Rust, Solidity, and ZK audits, ongoing verification, and tooling for blockchain teams.

Founders and contacts

FoundersBeing confirmed, locked
Founder emailsBeing confirmed, locked
LinkedInCompany page, locked

See France on the map

More startups in France

Are you a founder of Formal Land and want your details removed? Write to us and we remove them within 72 hours.