Edit

IABSD.fr/ports/math/lean

Branch :

  • Show log

    Commit

  • Author : tb
    Date : 2022-08-31 14:13:50
    Hash : 5514f21f
    Message : Update to lean 3.48.0