Skip to content

The Iverson bracket is a function: iverson(P) is 1 where P holds and 0 where it does not - #1567

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
iverson-bracket
Sep 29, 2026
Merged

The Iverson bracket is a function: iverson(P) is 1 where P holds and 0 where it does not#1567
Rafael-SOWNet merged 1 commit into
masterfrom
iverson-bracket

The Iverson bracket is a function: iverson(P) is 1 where P holds and …

75cc8c4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar