Skip to content
View oneofvalts's full-sized avatar
8 followers · 99 following

Highlights

  • Pro

Block or report oneofvalts

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
oneofvalts/README.md

I’m currently working on

  • formalization of Desargues's Theorem in Lean
  • a collaborative organization environment using org-roam

Pinned Loading

  1. desargues desargues Public

    Lean formalization of Desargues's Theorem

    Lean 3

  2. desargues-doc desargues-doc Public

    TeX 1

  3. letter letter Public

    restrict input to write anagrammatic poems easily

    C 1