GitHub - cxl/PIDE-Test: A test application of the Prover IDE (PIDE) framework · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
nbproject		nbproject
src/pidetest		src/pidetest
theories		theories
.gitignore		.gitignore
build.xml		build.xml
manifest.mf		manifest.mf

About

A test application of the Prover IDE (PIDE) framework

Report repository

Releases

No releases published

Packages

Contributors

Languages

Scala 100.0%