Fork: 0
nitta-lab / RDLProofSystem
Download ZIP 229 commits
Transfer to URL with SHA
RDLProofSystem / src / main / java /
latest commit 5384714192
@Sakoda2269 Sakoda2269 authored 5 days ago
..
constants DTRAMからalgebraを抜き出し、DTRAMの依存を解消 2 months ago
exceptions 再帰的に公理を適用するように変更 19 days ago
inference map compositionの推論を作成 5 days ago
models map compositionの推論を作成 5 days ago
parser DTRAMからalgebraを抜き出し、DTRAMの依存を解消 2 months ago
utils Right Normalizationまで 1 month ago
Main.java map compositionの推論を作成 5 days ago