Dark-Alex-17/ptp
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
3b479c2923780625c51458b00ba5a4f997864853
ptp/pandamonium-theorem-prover/.travis.yml
atusa17 3b479c2923 Update .travis.yml
2019-02-01 22:24:09 -07:00

1 line
14 B
YAML
Raw Blame History

language: java
Reference in New Issue View Git Blame Copy Permalink