There are 0 repository under japanese-translation topic.
Public repository created to store my custom-made tools for Just Dance (UbiArt Framework)
「Mathematics in Lean tutorial」の和訳(作業中).