Search results

The smallest unit of kay

Status: Open.

#8 In maximilianweinhold/spacetime;

· maximilianweinhold opened on May 5, 2026

Type checking algorithm

Status: Open.

#7 In maximilianweinhold/spacetime;

· maximilianweinhold opened on Apr 29, 2026

Equality of type?

Status: Open.

#6 In maximilianweinhold/spacetime;

· maximilianweinhold opened on Apr 10, 2026

Define indeterminate operator?

Status: Open.

#5 In maximilianweinhold/spacetime;

· maximilianweinhold opened on Mar 24, 2026

Unitary in the corner algebra!

Status: Open.

#4 In maximilianweinhold/spacetime;

· maximilianweinhold opened on Jan 8, 2026