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.
105 Commits 1 Branch 4 Tags
4b76f2eb69fa74a004addd5b6dfc287011af3f9b
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
BrittanyBi 4b76f2eb69 PAN-10 code & test corrections. Node class extracted from ParserService class.
2019-03-03 17:32:52 -07:00
config
change git root
2019-03-03 16:13:24 -07:00
gradle/wrapper
change git root
2019-03-03 16:13:24 -07:00
lib
change git root
2019-03-03 16:13:24 -07:00
out
change git root
2019-03-03 16:13:24 -07:00
persistence
change git root
2019-03-03 16:13:24 -07:00
services
PAN-10 code & test corrections. Node class extracted from ParserService class.
2019-03-03 17:32:52 -07:00
src
change git root
2019-03-03 16:13:24 -07:00
utilities
change git root
2019-03-03 16:13:24 -07:00
.gitignore
change git root
2019-03-03 16:13:24 -07:00
.travis.yml
PAN-7 Updated the .travis.yml file
2019-02-24 16:18:36 -07:00
build.gradle
change git root
2019-03-03 16:13:24 -07:00
gradle.properties
change git root
2019-03-03 16:13:24 -07:00
gradlew
change git root
2019-03-03 16:13:24 -07:00
gradlew.bat
change git root
2019-03-03 16:13:24 -07:00
gradlew~Stashed changes
change git root
2019-03-03 16:13:24 -07:00
lombok.config
change git root
2019-03-03 16:13:24 -07:00
README.md
Added the README
2019-03-03 16:15:35 -07:00
settings.gradle
change git root
2019-03-03 16:13:24 -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%