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.
8 Commits 1 Branch 4 Tags
16876265656a8ffa827d859e0b19f5d3765cf102
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
atusa17 1687626565 Update .travis.yml
2019-02-01 22:22:56 -07:00
pandamonium-theorem-prover
Update .travis.yml
2019-02-01 22:22:56 -07:00
Description
No description provided
3.2 MiB
Languages
Java 99.9%