Area 51 » Andrej Bauer

2,625
reputation
361 views
discussion user
network profile

Registered User

name Andrej Bauer
member for 10 years
seen Dec 15 '22 at 7:54
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

752
days

Proof Assistants

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

0

Current Commitments


1

Fulfilled Commitment

752
days

Proof Assistants

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

0

Followed


10

Votes Cast

10 up

0 down