Skip to content

pranjalv123/okasaki-coq

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
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