Giters
David Wärn (dwarn)

dwarn

Geek Repo

5

followers

3

following

0

stars

Location:Gothenburg, Sweden

Home Page:dwarn.se

Github PK Tool:Github PK Tool

David Wärn's repositories

nielsen-schreier-lean

Nielsen-Schreier in Lean

Language:LeanStargazers:3Issues:2Issues:0

nielsen-schreier-2

Language:LeanStargazers:1Issues:0Issues:0

aoc22-lean4

advent of code in Lean 4

Language:LeanStargazers:0Issues:1Issues:0

chain-reaction

Language:PythonStargazers:0Issues:0Issues:0

dwarn

Config files for my GitHub profile.

Stargazers:0Issues:0Issues:0

groupoidoids

Language:AgdaStargazers:0Issues:0Issues:0