KiJeong-Lim/DschingisKhan KiJeong-Lim/DschingisKhan

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language Coq
  • Created over 3 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KiJeong-Lim/DschingisKhan
github

KiJeong-Lim

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

portfolio

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
13
star
2

ppap

Project Putting All Power!
Haskell
4
star
3

PlanHol

a Programming LANguage with Higher-Order Logic
Haskell
3
star
4

LogicStudy

my notes for mathematical logic
TeX
2
star
5

V9

capstone
C++
2
star
6

GIT

Goedel's Incompleteness Theorems
TeX
2
star
7

Homeworks

Haskell
2
star
8

pdfs

TeX
1
star
9

proof

Coq
1
star
10

KWON

Haskell
1
star
11

Capstone

C++
1
star
12

cxxs

C++ srcs
C++
1
star
13

LoL

Coq
1
star