Schedule/ProofCafe_31

Imp_J.v 追加の練習問題: スタック機械のコンパイラを作成し、その正当性を証明する。
解答例:
https://github.com/suharahiromichi/coq/blob/master/sf/coq_sf_stack_compiler.v