RDLProofSystem / src / main / java / models / terms /
@Sakoda2269 Sakoda2269 authored on 15 Aug
..
meta test修正 3 months ago
Dependency.java 複数引数の代入など修正 3 months ago
DependencyTerm.java 依存項の階数を修正 3 months ago
EvaluatableTerm.java ディレクトリ構造変更 5 months ago
LinearRightNormalizedType.java ディレクトリ構造変更 5 months ago
PrimedTerm.java 推論の過程を表示できるように実装中 4 months ago
RDLTerm.java ディレクトリ構造変更 5 months ago
Resource.java ディレクトリ構造変更 5 months ago
ResourceConstant.java ディレクトリ構造変更 5 months ago