5 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of inte…