Skip to content
Pro
Block or report user

Report or block anfelor

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block anfelor

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Algebraic graphs

    Haskell 564 54

  2. The theory of algebraic graphs formalised in Agda

    Agda 50 4

12 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2020

Created an issue in leanprover-community/lean that received 3 comments

Declaring monad instance segfaults Lean

Description Changing sorry to {} below crashes the lean server in vscode and when compiling with lean --make Test.lean leads to $ lean --make Test.…

3 comments

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

You can’t perform that action at this time.