Skip to content

feat: implementation for formal quantificational language#6

Merged
nathanorm merged 1 commit into
masterfrom
feat/formal-quantificational-language
Apr 9, 2026
Merged

feat: implementation for formal quantificational language#6
nathanorm merged 1 commit into
masterfrom
feat/formal-quantificational-language

feat: implementation for formal quantificational language

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

Annotations

1 warning
Run test suite
succeeded Apr 9, 2026 in 14s