Fork: 0
k-sakoda / ResourceDependencyLogic
History for ResourceDependencyLogic / src / tests / terms / meta / MetaEvaluatableTermVariableTest.java
2026-04-18
dc7a700
Browse files »
@Sakoda2269
書き換えの推論を少し実装
Sakoda2269 committed 13 days ago
2026-03-01
7b2a4e2
Browse files »
@Sakoda2269
公理を使った推論を実装
Sakoda2269 committed on 1 Mar