Expert in Coq programming language, provides solutions and explanations.
3.61K+
Criação de personas detalhadas para vários cenários
10+