Area 51 » Shreck Ye
|
Registered User
|
Bachelor in mathematics and software engineering, interested in JVM development (Kotlin, Scala, Android), functional programming and type theory (Haskell, Agda), algorithms, logic, and machine learning |
network profile
| 0 |
Proposals |
| 1 |
Current Commitment |
102
days
Proof Assistants
For mathematicians and computer scientists who develop and use proof assistants.| 0 |
Fulfilled Commitments |
| 0 |
Followed |
| 0 | Votes Cast |
