GitBucket
History for
RDLProofSystem /
src /
main /
java /
models /
formulas /
meta /
MetaEquationFormula.java
| 2026-09-22 |
requiredAssumptions実装まで
Sakoda2269
committed
14 days ago
|
|---|---|
|
in, codomain membership, domain membershipを実装
Sakoda2269
committed
14 days ago
|
|
| 2026-09-18 |
dependency axiom unccuried mappingまで
Sakoda2269
committed
19 days ago
|
| 2026-09-16 |
right sub実装まで
Sakoda2269
committed
20 days ago
|
| 2026-08-06 |
複数引数の代入など修正
Sakoda2269
committed
on 6 Aug
|
| 2026-07-29 |
isMatchedByの戻り値と引数の型を変更
Sakoda2269
committed
on 29 Jul
|
| 2026-05-18 |
ディレクトリ構造変更
Sakoda2269
committed
on 18 May
|