reijix

View JSON Representation

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 All

Sponsorship Breakdown by Kind

• User: 1