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: May 02 2025 at 03:31 UTC