> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/computer-science.md).

# Computer Science

- [Data Structures](https://wiki.dewaka.com/computer-science/data-structures.md)
- [Skip Lists](https://wiki.dewaka.com/computer-science/data-structures/skip-lists.md)
- [Algorithms](https://wiki.dewaka.com/computer-science/algorithms.md)
- [Hashing](https://wiki.dewaka.com/computer-science/algorithms/hashing.md)
- [Eller's Algorithm](https://wiki.dewaka.com/computer-science/algorithms/eller.md)
- [Formal verification](https://wiki.dewaka.com/computer-science/formal-verification.md)
- [Coq](https://wiki.dewaka.com/computer-science/formal-verification/coq.md)
- [Lean](https://wiki.dewaka.com/computer-science/formal-verification/lean.md)
- [TLA+](https://wiki.dewaka.com/computer-science/formal-verification/tla.md)
- [Garbage Collection](https://wiki.dewaka.com/computer-science/garbage-collection.md)