Integration of one-forms on $p$-adic analytic spaces

Among the many differences between classical and p-adic objects, those related to differential equations occupy a special place. For example, a closed p-adic analytic one-form defined on a simply-connected domain does not necessarily have a primitive in the class of analytic functions. In the early 1980s, Robert Coleman discovered a way to construct primitives of analytic one-forms on certain smooth p-adic analytic curves in a bigger class of functions. Since then, there have been several attempts to generalize his ideas to smooth p-adic analytic spaces of higher dimension, but the spaces c