| ▲ | drdrey 10 hours ago | |
good luck formally verifying everything | ||
| ▲ | ares623 6 hours ago | parent [-] | |
I declare ~bankruptcy~ formal verification | ||
| ▲ | drdrey 10 hours ago | |
good luck formally verifying everything | ||
| ▲ | ares623 6 hours ago | parent [-] | |
I declare ~bankruptcy~ formal verification | ||