Send the following on WhatsApp
Continue to Chathttps://123dok.net/document/qmjv5m8q-coqmtu-a-higher-order-type-theory-with-a-predicative-hierarchy-of-universes-parametrized-by-a-decidable-first-order-theory.html
https://123dok.net/document/qmjv5m8q-coqmtu-a-higher-order-type-theory-with-a-predicative-hierarchy-of-universes-parametrized-by-a-decidable-first-order-theory.html