GitHub repository: AkihisaYamada/isabelle_dedukti
Primary language: Isabelle
Description: Isabelle component for dedukti