Fork: 0
nitta-lab / RDLProofSystem
Download ZIP 227 commits
Transfer to URL with SHA
RDLProofSystem / src / main / java /
latest commit 344f328896
@Sakoda2269 Sakoda2269 authored 19 days ago
..
constants DTRAMからalgebraを抜き出し、DTRAMの依存を解消 2 months ago
exceptions 再帰的に公理を適用するように変更 19 days ago
inference 細かなバグを修正 19 days ago
models 依存関係の推論実装完了 19 days ago
parser DTRAMからalgebraを抜き出し、DTRAMの依存を解消 2 months ago
utils Right Normalizationまで 1 month ago
Main.java 依存関係の推論実装完了 19 days ago