gitcell

109 Contribution

/ フォロー中のユーザー

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