| ▲ | yuppiemephisto 5 hours ago | |
https://markushimmel.de/blog/my-first-verified-imperative-pr... Lean | ||
| ▲ | saithound 4 hours ago | parent [-] | |
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked. | ||
| ▲ | yuppiemephisto 5 hours ago | |
https://markushimmel.de/blog/my-first-verified-imperative-pr... Lean | ||
| ▲ | saithound 4 hours ago | parent [-] | |
Verification of "runtimes" in the sense of GP is not mentioned at all in the article you linked. | ||