Area 51 » Filippo Alberto Edoardo

151
reputation
11 views
discussion user
network profile

Registered User

name Filippo Alberto Edoardo
member for 8 years
seen Nov 24 at 12:17
website
location Saint-Etienne (France)

I am MaÎtre de Conférences (lecturer) at Saint-Étienne, France. My interests are in mathematics (arithmetic and formalisation), ancient and modern Hebrew and Yiddish and related biblical studied, and more generally languages.

0

Proposals


1

Current Commitment

303
committed

Proof Assistants

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

0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast