RDLProofSystem/src/main/java/inference/axioms at 0dd6a29a7a4cf3c54f70b1a261de1590c3cae15c - nitta-lab/RDLProofSystem

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 203 commits

RDLProofSystem / src / main / java / inference / axioms /

latest commit 0dd6a29a7a Sakoda2269 authored 15 days ago
	..
	ArgumentDependencyExtraction.java	ArgumentDependencyExtractionまで	18 days ago
	CompositeMapping.java	dependency axiom unccuried mappingまで	19 days ago
	Constantness.java	Right Normalizationまで	16 days ago
	MapComposition.java	Right Normalizationまで	16 days ago
	RedundancyElimination.java	MapComposition 途中まで	18 days ago
	RightNormalization.java	Right Normalizationまで	16 days ago
	RightSubstitution.java	ArgumentDependencyExtractionまで	18 days ago
	UncurriedMapping.java	dependency axiom unccuried mappingまで	19 days ago
	Uncurrying.java	公理系一通り実装完了	15 days ago