My notes on the book Certainty by Construction1.
Footnotes
-
"Certainty by Construction. Software and Mathematics in Agda", Sandy Maguire ↩
keilambda/certainty-by-construction
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
My notes on the book Certainty by Construction1.
"Certainty by Construction. Software and Mathematics in Agda", Sandy Maguire ↩