GitHub repository: CortexFoundation/z3_prover
Primary language: C++
Created: 2019-11-11T04:30:50Z
Description: CVM-Runtime math formalization using Z3-prover