O que o ATC não é
Entenda o escopo e os limites do projeto.
O ATC é uma ferramenta numérica/simbólica focada, não um CAS universal.
ATC 2.1.8
O que o ATC não é - ATC Português
Visão geral em Português para hub principal da documentação. A documentação técnica localizada está disponível em português. O inglês continua a ser a referência canónica para validação exata de versão e código-fonte.
Âmbito realista
Use o inglês para validação exata da versão upstream e do código-fonte.
Rigor técnico
Use o inglês para validação exata da versão upstream e do código-fonte.