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.
14 Commits 1 Branch 4 Tags
21e97be136eb294e0e23068fa0efab3d02d5b05a
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Alex Tusa 21e97be136 Update .travis.yml
2019-02-01 22:49:54 -07:00
pandamonium-theorem-prover
Update .travis.yml
2019-02-01 22:44:04 -07:00
.travis.yml
Update .travis.yml
2019-02-01 22:49:54 -07:00
Description
No description provided
3.2 MiB
Languages
Java 99.9%