Home | Projects | Posts | Reading List | About

Math

Formalizing Math

A new passion of mine is formalizing mathematics with the functional programming language Lean 4 [github].

I am a contributor to Mathlib [github].

Here are some links to blog posts about some of the larger pull requests I have contributed:

• Coxeter Groups

• Klein-Four Group

Math Solutions

Textbook Solutions