Skip to content
View mr-ohman's full-sized avatar
22 followers · 6 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report mr-ohman

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. logrel-mltt logrel-mltt Public

    A Logical Relation for Martin-Löf Type Theory in Agda

    Agda 45 11

  2. intuitionistic-normalization intuitionistic-normalization Public

    Implementation of Intuitionistic Model Constructions and Normalization Proofs in Agda

    Agda 6 1

  3. ndprover ndprover Public

    Propositional logic prover producing natural deduction proofs

    Haskell

  4. general-induction general-induction Public

    General datatype for simply typed induction in Agda

    Agda

  5. mr-ohman.github.io mr-ohman.github.io Public

    HTML

  6. cubical-demo cubical-demo Public

    Forked from Saizan/cubical-demo

    Agda