Name		Name	Last commit message	Last commit date
docs		docs
LICENSE.md		LICENSE.md
README.md		README.md

Repository files navigation

FDSA

Functional Data Structures and Algorithms. A Proof Assistant Approach.

About

Book: Functional Data Structures and Algorithms. A Proof Assistant Approach.

4 stars

3 watching

Report repository

Releases

Packages

Contributors