RDLProofSystem/src/main/java/models/formulas/meta at 31ed0d87acd1cd83a4501e0b5c25ea9655b451e7

Fork: 0

nitta-lab / RDLProofSystem

Download ZIP 172 commits

RDLProofSystem / src / main / java / models / formulas / meta /


..
MetaDependencyFormula.java	dynamiをMetaRDLTermから分離したことにより生じたバグを修正	2 months ago
MetaEquationFormula.java	複数引数の代入など修正	3 months ago
MetaFormula.java	left subとright subをdynamicに	2 months ago