Startups
Formal verification for Web3
Edit

Formal verification for Web3

https://formal.land/
Last activity: 03.04.2024
Active
Categories: BlockchainCryptoSecurityVerification
Machine-checked Rocq and Lean proofs for Web3. Rust, Solidity, and ZK audits, ongoing verification, and tooling for blockchain teams.
InstagramLinkedInEmail
Mentions
2

Overview

Location
France, Ile-de-France, Paris

Mentions in press and media 2

DateTitleDescription
Sign up to seeSign up to seeSign up to see
Nov 15, 2023Подробно о Coq: зависимое сопоставление с образцомПредисловие Сопоставление с образцом в Coq на первый взгляд выглядит не сложнее, чем в большинстве языков программирования, т.е. довольно просто. Правда, это впечатление остаётся только до тех пор, пока программисту не приходится столкнутьс...

Reviews 0

Sign up to leave a review

Sign up Log In

FAQ about Formal verification for Web3

What has the press written about Formal verification for Web3?

Parsers VC has collected 2 articles mentioning Formal verification for Web3, among them “Подробно о Coq: зависимое сопоставление с образцом” (Nov 15, 2023).

Is Formal verification for Web3 still active?

Yes, Formal verification for Web3 is active; its latest activity on Parsers VC dates from Apr 3, 2024.