Michał Dobranowski

notes. My notes in LaTeX.

Lean4-course. An (unofficial) Lean 4 course at AGH University of Krakow.

codeforces-toolbox. 🧰 Codeforces CLI created to make writing contests more efficient.

Ramsey-growth-model. Ramsey growth model implemented and solved in Julia.

GraphReveal. Small graphs database and search system.

pabumeasures. Measures on participatory budgeting elections.

competitive-programming. My solutions to problems from various programming competitions.

apportionmentlib. Formal verification of apportionment theory in Lean 4.

operational-research. Project for Operational Research course.

pythagorean_tuples. 📐 A direct method to generate Pythagorean triples, quadruples and n-tuples.

lean-doodles. Doodles in Lean.

darwin-world. Simple ecosystem simulation written in Java and Kotlin.