gitcell

124 Contribution

/ フォロー中のユーザー

Coqなどによるプログラムの正しさの検証・証明に興味があります。