mdesharnais/coq-practical-ss17-amortised-ressource-bounds

Formalisation of Dr. Jost’s PhD thesis about an Automated Amortised Analysis

Coq