Proof Theory
111 members, 56 online
λ, μ, μ̃ and other greek letters
https://www.youtube.com/playlist?list=PLwaRyugSQjTG_q0P7eRk38kUvCX6IhsrR
https://github.com/sequents
https://www.youtube.com/playlist?list=PLwaRyugSQjTG_q0P7eRk38kUvCX6IhsrR
https://github.com/sequents
If you have Telegram, you can view and join
Proof Theory right away.
Proof Theory right away.