Skip to content

nipkow/FDSA

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

45 Commits
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.

Resources

Readme

License

View license
Activity

Stars

3 stars

Watchers

3 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors