berberman user
PhD student interested in PL/Lean ITP
Funding Links: https://github.com/sponsors/berberman
Potato Hatsue · Robetta · UCSC · 206 followers · 395 stars · 99 repositories · joined November 2022
GitHub Sponsors Profile
I am a PhD student mainly interested in interactive theorem provers and programming languages. I contribute to various open source projects.
1 current sponsors · 4 past · 5 total · $5.00 minimum
Active Sponsors
avimitin
Past Sponsors
nickcao
spriteovo
wengxt
zerofancy
Sponsored by 5 users
Last synced 1 day ago · View JSON representation