SmtC: Show me the Code
Ole Peter Smith
Instituto de Matemática e Estatística
Universidade Federal de Goiás
http://www.olesmith.com.br
- SmtC
- Palestras
- 2020
- $\LaTeX$: Office and Turing Complete?
- Geometria Axiomática com LaTeX e TikZ
- Axiomatic Geometry
Models
Somos todos Condenados à Liberdade
Jean Paul Sartre
|
|
|
|
|
|
|
|
|
