kik/ToyPr
Toy theorem prover
Developer Profile
kik
Discovered public repositories for kik in the GitHub catalog.
kik/fca
NES emulator on GBA
kik/wiki.kik.io
http://wiki.kik.io
kik/CoqTools
Coq Tools
kik/Yesod-Anarchy-Proof-Server
Anarchy Proof Server re-implementation using Yesod framework.
kik/VSTTE2012
VSTTE2012 competition
kik/CoqExec
Coq Extraction Library
kik/ICFPC2011
ICFPC2011
kik/Four-Color-Theorem-Maintenance
Fixed FCT proof for latest coq and ssreflect
kik/YnotExt
Extend Ynot library
kik/unfeal32
Public repository.
kik/aps
aps
kik/TaraiTermination
Proof of general Tarai function termination problem by Coq
kik/cpppeg
PEG parser library for C++
kik/sandbox
sandbox