0456b1f3 - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2023-07-10 01:42:40 +0200
Committed by: Patrick Massot
Committed at: 2023-07-10 01:42:40 +0200
Object name: 0456b1f3fe4ddb4ed60d0d21c994ec1f1d2d344c
Parent: 9304d0c4

Update lun. 10 juil. 2023 01:42:40 CEST

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf