doc(FirstOrder): Fix some typos and add a few docstrings - #878

Merged

iehality merged 2 commits into

FormalizedFormalLogic:masterfrom

Convindix:master

Jul 30, 2026

Commits on Jul 30, 2026

Fix some types and add a few docstrings
Convindix
committed
73a21e6
Occurrences that I didn't catch
Convindix
committed
7988dc3