Area 51 » Pierre-Yves Gaillard

151
reputation
0 views
discussion user
network profile

Registered User

name Pierre-Yves Gaillard
member for 10 years
seen Nov 22 '21 at 21:20
website
location Montréal, Canada

Email: pierre.yves.gaillard at gmail.com

If you have any idea about this MathOverflow question, thanks for letting me know.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


1

Followed

361
committed

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
beta

0

Example Questions


5

Votes Cast

5 up

0 down