reijix
I like functional programming and proof assistants :)
- Name: Leon Vatthauer
- Location: Erlangen
- Kind: user
- Followers: 3
- Following: 2
- Total stars: 1
- Repositories count: 10
- Created at: 2023-02-25T11:20:27.490Z
- Updated at: 2025-03-30T06:25:25.186Z
- Last synced at: 2025-03-30T06:25:25.185Z
Past Sponsorships
View AllSponsorship Breakdown by Kind
- User: 1