GitHub - bmmoore/kcoq: Tool used by K framework Coq backend · GitHub

Repository navigation

kcoq

Public

About

Tool used by K framework Coq backend

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
conversion		conversion
src		src
test		test
.gitignore		.gitignore
README.md		README.md
Setup.hs		Setup.hs
build.sh		build.sh
cabal.config		cabal.config
kcoq.cabal		kcoq.cabal
test.sh		test.sh

Repository files navigation

kcoq contains Haskell code used in the Coq backend for the K framework

About

Tool used by K framework Coq backend

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages