Is SPARK in ADA a theorem prover? - General - Ada Forum
https://forum.ada-lang.io/t/is-spark-in-ada-a-theorem-prover/3995

難しい・・・・＞＜