search

DaisukeBekki / lightblue

A CCG parser for Japanese with DTS-representations
BSD 3-Clause "New" or "Revised" License
17 stars 8 forks source link

DTS.Prover.Coq2Prolog モジュールのデバッグ #40

Open DaisukeBekki opened 11 months ago