Skip to content
You must be logged in to sponsor lorenzleutgeb

Become a sponsor to Lorenz Leutgeb

I am a doctoral student working on automated theorem proving.

Also, I help maintaining Nix packages.

@lorenzleutgeb

I want to spend my work days on free software and research.

Featured work

  1. alpha-asp/Alpha

    A lazy-grounding Answer-Set Programming system

    Java 58

0% towards $5,000 per month goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$3 a month

Select

Sponsor one ☕ per month to show that you acknowledge my work.

$10 a month

Select

Subscriber 🥇

$20 a month

Select

Supporter

$500 a month

Select

Financier