574
reputation
97 views
discussion user
network profile

Registered User

name ice1000
member for 2 years
seen May 2 at 20:21
website
location Pennsylvania, USA

I'm into univalent type systems. Worked on Agda and Arend, looking for PhD or similar research position.

Profile: https://personal.psu.edu/yqz5714

0

Proposals


0

Current Commitments


2

Fulfilled Commitments

837
days

Proof Assistants

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

Programming Language Design and Implementation

For designers and implementers of computer programming languages
define
commit
public beta

1

Followed

14
followers

Typst

For users of the typesetter Typst, a markdown-based typesetting system similar to (La)TeX
define
commit
beta

16

Votes Cast

13 up

3 down