Area 51 » Amélia Liao

51
reputation
17 views
discussion user
network profile

Registered User

name Amélia Liao
member for 60 days
seen Dec 13 '21 at 15:24
website
location Brazil

I am a non-binary (they/them) mathematician and software engineer from Brazil, with an interest in Homotopy Type Theory, and formalised mathematics in general. Some of my projects include implementations of type theories and an accessible formalisation of HoTT: https://cubical.1lab.dev

0

Proposals


1

Current Commitment

353
committed

Proof Assistants

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

0

Fulfilled Commitments


1

Followed

353
committed

Proof Assistants

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

0

Example Questions


2

Votes Cast

2 up

0 down