Edit

IABSD.fr/ports/math/lean/pkg

Branch :

  • Show log

    Commit

  • Author : tb
    Date : 2022-03-21 20:56:25
    Hash : bbcae7bf
    Message : Update to lean 3.42.0