Berkeley, California, USA

Niels Voss

Expert
@nielsvoss

Undergraduate mathematics major at UC Berkeley, class of 2028. Working on formalizing mathematics in Lean.

lean-pitfalls. Documenting common pitfalls and footguns in Lean

37

dangerouselytrasmod. A Minecraft fabric mod to make the Elytra more dangerous

2

cloudcubes. Java

1

hexmanager. A ComputerCraft program for modded Minecraft that provides a programming language to write Hex Casting spells.

1
4
Apply