It is known in characteristic $0$ that (algebraic) de Rham cohomology is a Weil cohomology theory. However, in characteristic $p > 0$ it isn't, if only because it has mod $p$ coefficients, whereas Weil cohomology theories should take values in characteristic $0$. It turns out that de Rham cohomology picks up torsion from Crystalline cohomology, so the dimensions are actually not the correct ones.

However, even if it's not a Weil cohomology theory, one could still try to prove some of the properties. The one I am interested in is Poincaré duality, including the construction of the cup product pairing, say for smooth proper varieties.

I think I know how to do this, but it is a bit technical. I was wondering if there is a place in the literature where it is carried out. It seems that most sources on algebraic de Rham cohomology immediately assume characteristic $0$, and don't prove the results for characteristic $p$ (presumably because de Rham cohomology is 'not the correct thing to consider').