Skip to content
View firubat's full-sized avatar
1 follower · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report firubat

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
firubat/README.md

Ur Ya'ar, PhD

LinkedIn Badge ORCID Badge arXiv Badge G-Scholar Badge GitHub Badge

I am currently a Postdoctoral fellow at the University of Helsinky, working with Jouko Väänänen as part of the Helsinki logic group.

I'm interested in logic and set-theory, and in particular in the interactions between set-theory and various kinds of logics.

My personal homepage is uryaar.com.

Pinned Loading

  1. AirLatex.vim AirLatex.vim Public

    Forked from dmadisetti/AirLatex.vim

    Overleaf / ShareLatex in Vim

    Python

  2. qmk_firmware qmk_firmware Public

    Forked from qmk/qmk_firmware

    Open-source keyboard firmware for Atmel AVR and Arm USB families

    C

  3. lervag/vimtex lervag/vimtex Public

    VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

    TeX 6.1k 407

  4. ivan-lednev/obsidian-day-planner ivan-lednev/obsidian-day-planner Public

    An Obsidian plugin for day planning with a clean UI and a simple task format

    TypeScript 2.5k 522

  5. dmadisetti/AirLatex.vim dmadisetti/AirLatex.vim Public

    Forked from da-h/AirLatex.vim

    Overleaf / ShareLatex in Vim

    Python 26 3