Skip to content
Avatar
  • Block or report user

    Block or report benediktahrens

    Block user

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

    Report abuse

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

    Report abuse
54 followers · 0 following · 0

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@HoTT @UniMath

Popular repositories

  1. monads

    Coq code accompanying several articles on semantics of functional programming languages

    Coq 8 1

  2. Foundations

    Forked from UniMath/Foundations

    Development of the univalent foundations of mathematics in Coq

    Coq 2 1

  3. rezk_completion

    Rezk completion

    Coq 2 2

  4. coinductives

    Terminal semantics for codata types in intensional Martin-Löf type theory

    TeX 1

  5. UniMath

    Forked from UniMath/UniMath

    A unified approach to formalization of mathematical knowledge based on Univalent Foundations.

    Coq 1

  6. substitution

    Heterogeneous substitution systems

    Coq 1

160 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2021

Created 7 commits in 4 repositories
Opened 1 pull request in 1 repository
UniMath/largecatmodules
1 merged
Reviewed 1 pull request in 1 repository
UniMath/UniMath 1 pull request

Created an issue in UniMath/TypeTheory that received 4 comments

Build system (opam) seems to require changes

Our travis build system uses opam, which seems to require changes to the setup. The complete log is here: https://api.travis-ci.org/v3/job/65711903…

4 comments
Opened 1 other issue in 1 repository
UniMath/UniMath
1 open

Seeing something unexpected? Take a look at the GitHub profile guide.