Defining corecursive functions in Coq using approximations rusu 2022/02/24 2022/02/24 Continue reading
AlgoKnot – Algorithmic and combinatorial aspects of knot theory | ANR-20-CE48-0007 cmaria 2022/02/15 2022/02/15 Continue reading
Workshop: Asymmetry in interacting particle systems, microscopic and macroscopic effects masimon 2022/02/15 2022/02/15 Continue reading