almost working pipeline
Showing
- proofs/pipeline/examples/.gitignore 0 additions, 2 deletionsproofs/pipeline/examples/.gitignore
- proofs/pipeline/examples/encoding/connectives.lp 20 additions, 0 deletionsproofs/pipeline/examples/encoding/connectives.lp
- proofs/pipeline/examples/encoding/cpl.lp 18 additions, 0 deletionsproofs/pipeline/examples/encoding/cpl.lp
- proofs/pipeline/examples/encoding/depconnectives.lp 15 additions, 0 deletionsproofs/pipeline/examples/encoding/depconnectives.lp
- proofs/pipeline/examples/encoding/lhol.lp 26 additions, 0 deletionsproofs/pipeline/examples/encoding/lhol.lp
- proofs/pipeline/examples/encoding/pcert.lp 14 additions, 0 deletionsproofs/pipeline/examples/encoding/pcert.lp
- proofs/pipeline/examples/encoding/qfo.json 36 additions, 0 deletionsproofs/pipeline/examples/encoding/qfo.json
- proofs/pipeline/examples/lambdapi.pkg 0 additions, 2 deletionsproofs/pipeline/examples/lambdapi.pkg
- proofs/pipeline/examples/run.sh 5 additions, 0 deletionsproofs/pipeline/examples/run.sh
- proofs/pipeline/pipe.ml 14 additions, 4 deletionsproofs/pipeline/pipe.ml
Loading
Please register or sign in to comment