Skip to content
/ tptp2coq Public
forked from lukaszcz/tptp2coq

Conversion of the FOF TPTP format to Coq files

0 stars 1 fork Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

jnarboux/tptp2coq

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
.gitignore
.gitignore
 
 
Makefile
Makefile
 
 
Makefile.coq
Makefile.coq
 
 
README.md
README.md
 
 
combine.sh
combine.sh
 
 
count_rating.sh
count_rating.sh
 
 
count_time.sh
count_time.sh
 
 
list_new.sh
list_new.sh
 
 
list_successes.sh
list_successes.sh
 
 
run.sh
run.sh
 
 
tptp2coq.hs
tptp2coq.hs
 
 
tptp2coq.sh
tptp2coq.sh
 
 

Repository files navigation

To compile tptp2coq you will need the Haskell ghc compiler, the program alex and the cabal package tptp.

sudo apt-get install alex ghc happy cabal-install cabal install tptp make

About

Conversion of the FOF TPTP format to Coq files

Resources

Readme
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 74.7%
  • Shell 22.9%
  • Coq 1.8%
  • Makefile 0.6%