Braga Method

swMATH42394MaRDI QIDQ1352474FDOQ1352474

Author name not available (Why is that?)

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