History for RDLProofSystem / src / models / formulas
2025-11-05
@Sakoda2269
inの形の式に対応
Sakoda2269 committed on 5 Nov 2025
2025-10-31
@Sakoda2269
コンストラクタ追加
Sakoda2269 committed on 31 Oct 2025
2025-10-25
@Sakoda2269
MetaFormulaにtoString, hashCode, equalsを追加
Sakoda2269 committed on 25 Oct 2025
@Sakoda2269
EquationFormulaのフィールド名変更
Sakoda2269 committed on 25 Oct 2025
2025-10-24
@Sakoda2269
メソッド名修正
Sakoda2269 committed on 24 Oct 2025
2025-10-23
@Sakoda2269
テスト追加
Sakoda2269 committed on 23 Oct 2025
@Sakoda2269
Formulaを追加
Sakoda2269 committed on 23 Oct 2025