03bd5b85 - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2023-06-28 17:31:08 +0200
Committed by: Patrick Massot
Committed at: 2023-06-28 17:31:08 +0200
Object name: 03bd5b85a1467a6420f06c10e922afe6e3abd25d
Parent: 08591eea

Update mer. 28 juin 2023 17:31:07 CEST

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf