Pinned Loading

1. bloomberg/game-trees bloomberg/game-trees Public

   Functions and proofs about game trees in Rocq, implemented as rose trees.

   Coq

2. proof-tree-builder/proof-tree-builder.github.io proof-tree-builder/proof-tree-builder.github.io Public

   A web-based graphical proof assistant for LK and Hoare logic.

   JavaScript 34 3

3. hezarfen hezarfen Public archive

   a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

   Idris 120 3

4. WangsAlgorithm WangsAlgorithm Public

   A classical propositional theorem prover in Haskell, using Wang's Algorithm.

   Haskell 36 4

5. latex-unicoder.vim latex-unicoder.vim Public

   A plugin to type Unicode chars in Vim, using their LaTeX names.

   Vim Script 91 14

6. dilim dilim Public

   A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

   Rust 15