itamar itamar · any pronouns
  • moving from cgit because I want signed commits.

  • Joined on 2026-04-09
transforming setoids to quotient sets
Updated 2026-04-10 12:48:37 +00:00