DschingisKhan

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

(★ 9)

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

DschingisKhan 최신버젼 다운로드

최종 버전 다운로드 (.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 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

DschingisKhan

DschingisKhan 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README