2026年07月11日 - 2026年07月14日
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
28 commits
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
1 pull request merged by 1 user
Merged
#32 feat: temporal projection redesign (SPEC-020) and Lean 4 formal verification (IMPL-015/016)
1 pull request proposed by 1 user
Proposed
#34 feat: predicate model and vocabulary (SPEC-024)
1 issue created by 1 user
Opened
#33 Expose structural predicate identity with PredicateKey (functor + arity)