17537946 - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2023-06-22 14:03:31 +0200
Committed by: Patrick Massot
Committed at: 2023-06-22 14:03:31 +0200
Object name: 175379468bc8216d0cc9bb45066fded9cc6dcbdf
Parent: d901031e

Update jeu. 22 juin 2023 14:03:31 CEST

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf