Owner

chrisflav

4 indexed repositories · View on GitHub

• proetale

  Proétale cohomology in Lean

  Lean · 15 stars

• kompass

  Administration platform for local sections of the Young German Alpine Club

  Python · 4 stars

• orchestra

  A daemon running agentic coding tasks queried from listeners.

  Lean · 3 stars

• mathlib-staging

  Lean · 0 stars