Skip to content

Instantly share code, notes, and snippets.

View claudio-naoto's full-sized avatar

claudio-naoto

View GitHub Profile
@claudio-naoto
claudio-naoto / demo-ptBR.saty
Created January 5, 2021 10:28
Brazilian portuguese translation of demo.saty
@require: stdjabook
@require: code
@require: itemize
@require: tabular
@require: proof
@import: local
document (|
title = {Visão geral de \SATySFi;};
author = {Takashi SUWA};
@claudio-naoto
claudio-naoto / demo-en.saty
Created January 5, 2021 10:13
English translation of demo.saty
@require: stdjabook
@require: code
@require: itemize
@require: tabular
@require: proof
@import: local
document (|
title = {An outline of \SATySFi;};
author = {Takashi SUWA};