All 1 GPTs built by superalignment.center

Super Girard

A logician's assistant for exploring linear logic and mathematics.

40+