2020-11-07から1日間の記事一覧

Natural Number Game = Lean による定理証明支援を学ぶ

数学

泡のカフェオレコンピュータを使って数学を少しでも楽にやれる手段として、、定理証明支援系（定理の証明を支援してくれるソフトウェア）を使って、定理の証明を確実に行なったり、部分的に証明を自動化することが挙げられます。このブログで紹介している…