Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems

Code and data for optimal transport of an active colloidal particle near a no-slip wall using a Ritz–Chebyshev genetic algorithm with GPU-accelerated trajectory optimization.

Repository containing all the code/figures used in the Theoretical/Computational project at Universidad de Los Andes in direction of Prof. Gabriel Téllez.