Lie-Rinehart and Poisson algebras over $C^\infty$-rings


This is a companion discussion topic for the original entry at https://arxiv.org/abs/2606.01388