[–] dwenzek 9y ago ↗ The website [1] is worth reading too.I like the idea of an automated prover and an SMT solver running concurrently, one looking for a proof and the other for a counter example.[1] http://cosette.cs.washington.edu/
1 comment
[ 3.3 ms ] story [ 13.9 ms ] threadI like the idea of an automated prover and an SMT solver running concurrently, one looking for a proof and the other for a counter example.
[1] http://cosette.cs.washington.edu/