https://github.com/isovector/certainty-by-construction

Source material for Certainty by Construction
https://github.com/isovector/certainty-by-construction

agda book functional-programming math

Last synced: about 1 month ago
JSON representation

Source material for Certainty by Construction

• Host: GitHub
• URL: https://github.com/isovector/certainty-by-construction
• Owner: isovector
• Created: 2022-10-13T03:27:48.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-01-20T21:46:48.000Z (10 months ago)
• Last Synced: 2024-08-03T15:11:34.477Z (4 months ago)
• Topics: agda, book, functional-programming, math
• Language: TeX
• Homepage: https://leanpub.com/certainty-by-construction/
• Size: 7.46 MB
• Stars: 36
• Watchers: 3
• Forks: 9
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# book

- introduction to agda

- proof objects

- induction unification vs functions

- data structures + maintaining invariants

  - linked list

  - vectors / fins for indexes

  - bst

  - heap

  - trie

- representations matter!

  - eg matrices suck as vecs of vecs