Skip to content
View marijnvanwezel's full-sized avatar
:shipit:
:shipit:
12 followers · 13 following

Block or report marijnvanwezel

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 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

Pinned Loading

  1. screensy/screensy screensy/screensy Public

    Simple peer-to-peer screen sharing

    HTML 564 51

  2. neo4j-php/php-cypher-dsl neo4j-php/php-cypher-dsl Public

    A query builder for Cypher written in PHP

    PHP 18 5

  3. haskell-dev-env haskell-dev-env Public

    Forked from vzarytovskii/haskell-dev-env

    An opinionated pre-built Dev Container for Haskell (which includes HLS, Cabal, Stack, a debugger, local Hoogle and useful extensions).

    Dockerfile 8

  4. isabelle-cauchy isabelle-cauchy Public

    Cauchy reals constructed in Isabelle

    Isabelle

  5. lcf-prover lcf-prover Public

    A very small LCF-style prover for minimal propositional logic

    Haskell

  6. TypeScript as a proof assistant TypeScript as a proof assistant
    1 
    // TypeScript can be used just like a proof assistant (for intuitionistic propositional logic)!
    2 
    //
    3 
    // Inspired by: https://www.youtube.com/watch?v=i-hRpYiNwBw
    4 
    
              
    
              
    
                5
                
    // We can encode False as the following recursive type, which can never
    
              
    
          
    
    
    
  
    

    7.