Skip to content
Block or report user

Report or block ehildenb

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
Pro

Organizations

@Formal-Systems-Laboratory

Popular repositories

  1. pandoc-tangle

    Simple tangler for Pandoc

    Lua 12 3

  2. homod

    Haskell 2

  3. reviews

    Makefile 2

  4. maude

    C++ 2 1

  5. dotfiles

    my config files

    Shell 1

  6. phs

    Forked from alexandroid000/phs

    Python

509 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Activity overview
Contributed to kframework/k, kframework/evm-semantics, ethereum/tests and 5 other repositories
Loading

Contribution activity

April 2019

Created a pull request in kframework/k that received 2 comments

Latex serializer/output mode

Adds output mode --output latex, which serializes the AST to LaTeX.

+155 −2 2 comments

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

You can’t perform that action at this time.