my programming projects
Currently:
- Coq:
- proofs of correctness and coplexity of Binary Search Tree methods in Coq
- proofs of some formulas form Delta 08/2020
- assembly: toy programs converting and printing numbers in decimal and hex
- C: simple Turing Machine implementation, KMP algorithm implementation
- Haskell: Heap data structure implementation