TY  - RPRT
TI  - Un experimento de demostración formal de un teorema de nivel intermedio en álgebra (Formalizing the proof of an intermediate-level algebra theorem -- An experiment)
AU  - Antoine Chambert-Loir
PY  - 2023
UR  - https://arxiv.org/abs/2303.12404
ID  - 2303.12404
ER  -