85c2c771 - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2024-08-22 23:02:09 +0200
Committed by: Patrick Massot
Committed at: 2024-08-22 23:02:09 +0200
Object name: 85c2c771e464434a08c280d44d0945d3588605fd
Parent: 57760e81

Update jeu. 22 août 2024 23:02:09 CEST

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf