denjiry/rustyblue Issues
独自フォーマット
Updated主要機能の整理
Updated提供するもの
Updatedマークアップの問題
Updated独自フォーマットとCoqファイル群での証明コードの変換
Updatedインタラクティブインターフェースの実装方法
Updatedchart parserの無駄な二重走査
Updated
WIP: re-implementation of "lightblue" (CCG parser for Japanese with DTS-representations)