Skip to content
View nnarek's full-sized avatar
0 followers · 21 following

Block or report nnarek

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. study study Public

    HTML

  2. plfa_solutions plfa_solutions Public

    Forked from plfa/plfa.github.io

    An introduction to programming language theory in Agda

    Agda

  3. GlimpseOfLean GlimpseOfLean Public

    Forked from PatrickMassot/GlimpseOfLean

    An introduction to theorem proving in Lean for the impatient.

    Lean

  4. mathematics_in_lean mathematics_in_lean Public

    Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    HTML

  5. logical_verification_2024 logical_verification_2024 Public

    Forked from lean-forward/logical_verification_2024

    The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

    Lean

  6. HoTTEST-Summer-School HoTTEST-Summer-School Public

    Forked from martinescardo/HoTTEST-Summer-School

    HoTTEST Summer School materials

    TeX