RDLProofSystem/src/models/formulas at cef8d4c1d343f58caa8944ef8e21f648fc0bbeed

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 105 commits

RDLProofSystem / src / models / formulas /


..
meta	公理による推論を実装中	8 months ago
DependencyFormula.java	コンストラクタ追加	1 year ago
EquationFormula.java	意味論的同値関係の推論ができるようになった	8 months ago
Formula.java	Formulaを追加	1 year ago
InFormula.java	inの形の式に対応	1 year ago