DschingisKhan

He Reiter, Ho Reiter, He Reiter, Immer weiter!

This repository is the proof-pool of mine.
The Soundness Theorem of the Propositional Logic: Here
The Completeness Theorem of the Propositional Logic: Here

QUICK START

git clone https://github.com/KiJeong-Lim/DschingisKhan.git
cd DschingisKhan
eval `opam env`
coq_makefile -f _CoqProject -o Makefile
make -j2 -k

COMPATIBLE COQ VERSIONS

With The Coq Proof Assistant, version 8.15.2 compiled with OCaml 4.13.1, everything works fine in WSL Ubuntu-20.04 2.

THANKS TO

Junyoung Jang https://github.com/Ailrun
Taeseung Sohn https://github.com/paulsohn
Hanul Jeon https://github.com/hanuljeon95
Soonwon Moon https://github.com/damhiya
Minki Cho https://github.com/minkiminki