Send the following on WhatsApp
Continue to Chathttps://123dok.net/document/y6edrd7z-a-calculus-of-substitutions-for-incomplete-proof-representation-in-type-theory.html
https://123dok.net/document/y6edrd7z-a-calculus-of-substitutions-for-incomplete-proof-representation-in-type-theory.html