GitHub repository: KiJeong-Lim/DschingisKhan
Primary language: Coq
Created: 2021-07-06T18:27:01Z
Description: He Reiter, Ho Reiter, He Reiter, Immer weiter!