Zulip Chat Archive

Stream: maths

Topic: infinitary logic

Reid Barton (Oct 11 2018 at 19:51):

Is anyone aware of a formalization of infinitary logic (I think I am interested in what is called $L_{\infty,\infty}$ )? Either in Lean or in another DTT-based system

Last updated: Dec 20 2023 at 11:08 UTC