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.
11 Commits 1 Branch 4 Tags
98491c8ec52a446f5b0d469a2e9178ed23912b18
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
atusa17 98491c8ec5 Update .travis.yml
2019-02-01 22:39:09 -07:00
pandamonium-theorem-prover
Update .travis.yml
2019-02-01 22:39:09 -07:00
.travis.yml
Update .travis.yml
2019-02-01 22:36:25 -07:00
Description
No description provided
3.2 MiB
Languages
Java 99.9%