MarkovSemigroups0.1.0
Markov semigroups, functional inequalities, and convergence to equilibrium in Lean 4
1-1 of 1 packages depending on mrdouglasny/MarkovSemigroups
Sort by
Package Name
mrdouglasny/pphi2uses
acf6491Construction of phi^4_2 quantum field theory in Lean 4