Zulip Chat Archive

Stream: maths

Topic: infinitary logic


view this post on Zulip 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,L_{\infty,\infty})? Either in Lean or in another DTT-based system


Last updated: May 09 2021 at 09:11 UTC