DschingisKhan

KO | EN

gitlite — search

#javascript #python #hacktoberfest #ai #rust #deep-learning #linux #cli #vue #awesome-list #pytorch #security #openai #open-source

(★ 9)

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

DschingisKhan Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# DschingisKhan

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

- This repository is the proof-pool of mine.

- [x] The Soundness Theorem of the Propositional Logic: [Here](https://github.com/KiJeong-Lim/DschingisKhan/blob/master/theories/Math/PropositionalLogicExtra.v#L193)
- [x] The Completeness Theorem of the Propositional Logic: [Here](https://github.com/KiJeong-Lim/DschingisKhan/blob/master/theories/Math/PropositionalLogicExtra.v#L376)

## 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

DschingisKhan

DschingisKhan Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

DschingisKhan

DschingisKhan Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README