Pinned Loading

1. screensy/screensy screensy/screensy Public

   Simple peer-to-peer screen sharing

   HTML 576 55

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

   A query builder for Cypher written in PHP

   PHP 19 5

3. haskell-devcontainer haskell-devcontainer Public

   An opinionated Development Container for Haskell (which includes HLS, Cabal, Stack, a debugger, a formatter, local Hoogle and Hackage and some useful extensions).

   Dockerfile 9

4. isabelle-cauchy isabelle-cauchy Public

   Cauchy reals constructed in Isabelle

   Isabelle

5. thesis thesis Public

   The artifacts of my master thesis "A logic for reasoning with mailbox types in separation logic".

   Rocq Prover

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