Skip to content

pranjalv123/okasaki-coq

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 

Repository files navigation

See http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf for more details on algorithms

See http://www.cse.chalmers.se/~nad/publications/danielsson-popl2008.html for more details on analysis framework

About

Automatically verified running time proofs

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published