Braga Method

MaRDI QIDQ1352474swMATHFDO

Official website https://hal.inria.fr/hal-03338785/file/the_braga_method.pdf

Source code repository https://github.com/DmxLarchey/The-Braga-Method

Described by source

• The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

This page was built for software: Braga Method