Skip to content
View mbrodersen's full-sized avatar
1 follower · 0 following

    Achievements

    Achievement: Arctic Code Vault Contributor

    Achievements

    Achievement: Arctic Code Vault Contributor

    Block or report mbrodersen

    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.

    Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
    Report abuse

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

    Report abuse

    Popular repositories Loading

    1. idris-sandbox idris-sandboxPublic

      Idris Sandbox

      Idris 7 1

    2. agda agdaPublic

      Forked from agda/agda

      Agda is a dependently typed programming language / interactive theorem prover.

      Haskell

    3. haste-compiler haste-compilerPublic

      Forked from valderman/haste-compiler

      A GHC-based Haskell to JavaScript compiler

      Haskell

    4. JonPRL JonPRLPublic

      Forked from jonsterling/JonPRL

      An proof refinement logic for computational type theory based on Brouwer-realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's succes…

      Standard ML

    5. sml-redprl sml-redprlPublic

      Forked from RedPRL/sml-redprl

      The People's Refinement Logic

      Standard ML

    6. z3 z3Public

      Forked from Z3Prover/z3

      The Z3 Theorem Prover

      C++