今日のJuliaのばかげたビット:Juliaタイプを使用した(簡単な!)形式検証mini-PLの実装 ペアノの公理から1+1=2であることさえ確認できるよ!
4.69K