Pinned

1. 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 31 2

2. hezarfen hezarfen Public archive

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

   Idris 118 3

3. WangsAlgorithm WangsAlgorithm Public

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

   Haskell 36 4

4. herbrand-prolog herbrand-prolog Public

   A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

   Haskell 5 1

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

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

   Vim Script 88 14

6. dilim dilim Public

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

   Rust 15