RDLProofSystem/src/main/java/models/algebra/ValueUndefined.java at feature/axiom-inference-mk2

Fork: 0

nitta-lab / RDLProofSystem

Find file

Newer

Older

RDLProofSystem / src / main / java / models / algebra / ValueUndefined.java

Sakoda2269 5 days ago 76 bytes DTRAMからalgebraを抜き出し、DTRAMの依存を解消

Raw Blame History

package models.algebra;

public class ValueUndefined extends Exception {

}