Pinned Loading

1. logicalpy logicalpy Public

   A Python library providing basic functionalities for manipulating propositional logic

   Python 1

2. crypto-tools crypto-tools Public

   An interactive terminal interface implementing the Enigma machine, as well as some classical ciphers and their cryptanalysis

   Python 1

3. TMLang TMLang Public

   A small language for designing and programming Turing machines

   Python 1

4. fitch-proof fitch-proof Public

   A simple language for making propositional proofs in a Fitch-style natural deduction system

   Python

5. linear-equation-systems linear-equation-systems Public

   Some stuff showing some (useless) research for making a linear equation solving algorithm

   TeX

6. ozekik/mathesis ozekik/mathesis Public

   Python library for computational formal logic, formal semantics, and theorem proving

   Python 21 4