Skip to content

#5733 handling all arguments for Fact and Theory#5734

Merged
thomhurst merged 4 commits intothomhurst:mainfrom
inyutin-maxim:main
Apr 25, 2026
Merged

#5733 handling all arguments for Fact and Theory#5734
thomhurst merged 4 commits intothomhurst:mainfrom
inyutin-maxim:main

Commits

Commits on Apr 24, 2026

Commits on Apr 25, 2026