Search results

マークアップの問題

Status: Open.

#8 In denjiry/rustyblue;

· denjiry opened on Jan 18, 2022

独自フォーマット

Status: Open.

#7 In denjiry/rustyblue;

· denjiry opened on Nov 21, 2021

独自フォーマットとCoqファイル群での証明コードの変換

Status: Open.

#6 In denjiry/rustyblue;

· denjiry opened on Nov 11, 2021

提供するもの

Status: Open.

#5 In denjiry/rustyblue;

· denjiry opened on Nov 9, 2021

主要機能の整理

Status: Open.

#4 In denjiry/rustyblue;

· denjiry opened on Nov 9, 2021

better 日本語を目指すようなアノテーション記法を導入するかどうか

Status: Open.

#3 In denjiry/rustyblue;

· denjiry opened on Nov 8, 2021

インタラクティブインターフェースの実装方法

Status: Open.

#2 In denjiry/rustyblue;

· denjiry opened on Nov 8, 2021

chart parserの無駄な二重走査

Status: Open.

#1 In denjiry/rustyblue;

· denjiry opened on Jul 18, 2021