## 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 09 2021 at 09:11 UTC