Area 51 » Jukka Suomela

256
reputation
15 views
discussion user
network profile

Registered User

name Jukka Suomela
member for 11 years
seen Nov 20 '21 at 20:10
website
location Finland
0

Proposals


0

Current Commitments


2

Fulfilled Commitments

TeX, LaTeX and friends

For expert users of TeX, LaTeX and other related typesetting systems.
define
commit
beta

Theoretical Computer Science

For theoretical computer scientists and researchers in related fields
define
commit
beta

1

Followed

353
committed

Proof Assistants

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

0

Example Questions


0

Votes Cast