2017-09-07から1日間の記事一覧
このようなコードをLean Proverで検査しようとすると、補題test2でエラーが出る。1 gist.github.com いくら考えても原因がわからなかったのでGitHubのレポジトリにバグとして報告したところ、バグではなく仕様である、という返答を頂いた。 github.com ここ…
このようなコードをLean Proverで検査しようとすると、補題test2でエラーが出る。1 gist.github.com いくら考えても原因がわからなかったのでGitHubのレポジトリにバグとして報告したところ、バグではなく仕様である、という返答を頂いた。 github.com ここ…