Inonhe, H. Y. R., & Carnielli, W. A. (2019). Formalization of mathematics through proof assistants: A study on the state of the art. Universidade Estadual de Campinas.
Chicago Style (17th ed.) CitationInonhe, Henrique Yuji Rossetti, and Walter Alexandre Carnielli. Formalization of Mathematics Through Proof Assistants: A Study on the State of the Art. Universidade Estadual de Campinas, 2019.
MLA (9th ed.) CitationInonhe, Henrique Yuji Rossetti, and Walter Alexandre Carnielli. Formalization of Mathematics Through Proof Assistants: A Study on the State of the Art. Universidade Estadual de Campinas, 2019.
Warning: These citations may not always be 100% accurate.
