# Implementation Validation (Parts) To run the proofs: ``` why3 ide proofs ```
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| proofs | ||
| .gitignore | ||
| README | ||
| filtering.why | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| proofs | ||
| .gitignore | ||
| README | ||
| filtering.why | ||
# Implementation Validation (Parts) To run the proofs: ``` why3 ide proofs ```