|
|
|
|
|
|
by quesomaster9000
454 days ago
|
|
|
At the moment I'm verifying a Rust floating point implementation, which has lead to many small snippets for not just generating test & edge cases (e.g. find inputs which falls outside of these conditions), but trying to prove completeness on all valid inputs. |
|
|