isovector/certainty-by-construction

Source material for Certainty by Construction

语言：TeX · GitHub 星标：53 · Fork：11

话题：agda · book · functional-programming · math

在 GitHub 上查看原仓库