Isabelle
定理証明支援系
https://techcon.dena.com/2021/session/13/
Slice (Go)
のcapaityが十分かIsabelleをつかって判定する