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

2

DschingisKhan

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

Coq

9

3

ppap

Project Putting All Power!

Haskell

4

4

PlanHol

a Programming LANguage with Higher-Order Logic

Haskell

3

5

LogicStudy

my notes for mathematical logic

TeX

2

6

V9

capstone

C++

2

7

GIT

Goedel's Incompleteness Theorems

TeX

2

8

Homeworks

Haskell

2

9

pdfs

TeX

1

10

proof

Coq

1

11

KWON

Haskell

1

12

Capstone

C++

1

13

cxxs

C++ srcs

C++

1

14

LoL

Coq

1