← All topics

formal verification

1 products tagged "formal verification", ranked by how many creators use or recommend them.

Related: programming math mathematics programming language verification theorem proving proofs
Lean

Lean

 software
math theorem proving programming language
1