Pinned Loading

1. bide bide Public

   C

2. trs-lisp trs-lisp Public

   Lisp-like language based on a simple Term Rewriting System implemented in C.

   C 1

3. dalt dalt Public

   Easy to use Proof Assistant in Python. Inspired by Metamath.

   Python

4. Pen_and_Paper_Prolog Pen_and_Paper_Prolog Public

   Minimal Prolog interpreter with Resolution and Unification algorithms implemented with Strings

   C