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.
73 Commits 1 Branch 4 Tags
b142de57d51068267bf6915562de2a6d696fda0e
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
dantanxiaotian b142de57d5 Merge pull request #10 from atusa17/PAN-6-windows-compatibility 
PAN-6 added a Windows batch file to load the DB on Windows systems.
2019-02-12 11:42:42 -07:00
pandamonium-theorem-prover
PAN-6 added a Windows batch file to load the DB on Windows systems.
2019-02-12 10:59:39 -07:00
_config.yml
Set theme jekyll-theme-midnight
2019-02-01 23:20:34 -07:00
.travis.yml
PAN-6 Fixed the user creation for .travis.yml
2019-02-10 14:09:04 -07:00
README.md
Create README.md
2019-02-03 11:59:33 -07:00

README.md

Pandamonium Theorem Prover

This is the main repository for the Technical Software Project

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 3.2 MiB
Languages
Java 99.9%