Skip to content

Merge pull request #6 from HQIV/paper/octonionic_action

b73bd4c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

paper/sm_lagrangian: Lean modules cited by papers/sm_lagrangian/ #5

Merge pull request #6 from HQIV/paper/octonionic_action
b73bd4c
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded May 27, 2026 in 2m 35s