The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq
Origin : Files produced by the author(s)