f194661a - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2023-08-27 22:01:23 -0400
Committed by: Patrick Massot
Committed at: 2023-08-27 22:01:23 -0400
Object name: f194661a9d32d96c0bbd451778e3b41dc26ab40b
Parent: 4bc81dde

Update dim. 27 août 2023 22:01:23 EDT

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf