Software que eu uso

Utilizo o software Visual Studio Code da versão para escrever praticamente todos os meus textos, slides, artigos em formato (com alguns códigos $\LaTeX$ para introduzir facilmente símbolos lógicos). Para construir bibliografias em $BibTeX$ utilizo o software JabRef.

Para converter em ficheiros com formato PDF, HTML, DOC, PPT, etc, utilizo a ferramenta Pandoc (criada pelo filósofo John MacFarlane) através do terminal.

Este site e todas as ferramentas disponíveis neste site foram escritas por mim com código , , e .