Rachel Lambda Samuelsson rachel
  • Gothenburg, Sweden
  • https://rachel.cafe
  • Interested in type theory, category theory and univalent foundations.

  • Joined on 2022-01-22

A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.

Updated 2023-02-05 17:05:19 +01:00