Braga Method

swMATH42394MaRDI QIDQ1352474

No author found.

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