ギルが常に幸せであることを想像する必要があります
guille
guille7月4日 08:10
今日のJuliaのばかげたビット:Juliaタイプを使用した(簡単な!)形式検証mini-PLの実装 ペアノの公理から1+1=2であることさえ確認できるよ!
1.17K