8000 mpenciak (Matej Penciak) · GitHub
[go: up one dir, main page]
Skip to content
View mpenciak's full-sized avatar
🐢
🐢
26 followers · 6 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Block or report mpenciak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. Lean-Seminar-Sp2022 Lean-Seminar-Sp2022 Public

    Storing all of the content from the Learning Lean Seminar from Spring 2022

    Lean 2

  2. FFaCiL FFaCiL Public

    Forked from argumentcomputer/FFaCiL.lean

    Finite Fields and Curves in Lean

    Lean 2

  3. AdventOfCode AdventOfCode Public

    Solving 2022 Advent of Code problems in Lean 4

    Lean 1

  4. LLL2023 LLL2023 Public

    Slides from my talk in London Learning Lean

    TeX 1

  5. ZKSummit13Talk ZKSummit13Talk Public

    Lean 1

  6. lean_build_talk lean_build_talk Public

    Lean 1

0