Have you looked at Bezrukavnikov and Kaledin's Fedosov quantization in positive characteristic? That has a page or so on formal geometry in characteristic $p$.
Ben Webster ♦
- 44.7k
- 12
- 126
- 260