Area 51 » Andrej Bauer

2,490
reputation
324 views
discussion user
network profile

Registered User

name Andrej Bauer
member for 8 years
seen Mar 17 at 11:49
website
location Ljubljana
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
1

Proposal

107
days

Proof Assistants

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

0

Current Commitments


1

Fulfilled Commitment

107
days

Proof Assistants

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

0

Followed


5

Votes Cast

5 up

0 down