Twin Cities, MN, USA

Stream: Geographic locality

[Favonia]

Creating a new stream for Twin Cities, MN.

[Dan Grigsby]

I am slowly teaching myself higher math and theorem proving. Should anyone from MSP see this and be interested in learning together, please reply with @Dan Grigsby .

[wast]

I'm currently on the path of teaching myself and investigating proof theory. Currently fascinated with sequent calculus and linear logic. Curious to see how many self-taught people are interested in this domain?