Skip to content
View mmalvarez's full-sized avatar
29 followers · 3 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report mmalvarez

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

  1. eth-isabelle eth-isabelle Public

    Forked from pirapira/eth-isabelle

    A Lem formalization of EVM and some Isabelle/HOL proofs

    Isabelle 33 6

  2. Gazelle Gazelle Public

    Gazelle = Generalized Elle. A framework for reusable programming language semantics.

    Isabelle 19 2

  3. Yul-Isabelle Yul-Isabelle Public

    Isabelle semantics for the Yul language

    Isabelle 4 4

  4. SolidityABI SolidityABI Public

    Isabelle formalization of Solidity ABI encoding and decoding

    Isabelle 3

  5. Domingo Domingo Public

    Free Reimplementation of A Popular Deckbuilding Game

    Elm 2

  6. nodups-exercise nodups-exercise Public

    Dafny and Isabelle solutions to an exercise about removing duplicates from a sorted list

    Isabelle 1