Discover andriusvelykis/proofprocess Open Source project

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Java
License
Eclipse Public Li...
Created over 12 years ago
Updated over 10 years ago

andriusvelykis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).

reflow-maven-skin

Reflow is an Apache Maven site skin built on Bootstrap. It allows various structural and stylistic customizations to create a modern-looking Maven-generated website.

Java

133

pde-target-maven-plugin

Maven plugin to generate Eclipse PDE target definitions using POM-first dependencies. Supplements functionality of Eclipse Tycho to use OSGI bundles from Maven repositories in Eclipse Plug-in Development Environment.

Java

isabelle-scala

A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.

Scala

isabelle-eclipse

Eclipse integration for Isabelle proof assistant.

Python

bibdesk-scripts

Scripts for BibDesk application

AppleScript

ml-dev

Eclipse plug-in for Standard ML

Java

scala-nested-class-netbeans

An example that demonstrates using Scala object-nested classes in Java code in NetBeans IDE.

Java

blank-maven-skin

Blank Maven skin renders the Maven site pages without any additional skinning or decoration.

andriusvelykis/proofprocess

andriusvelykis

Reviews

Repository Details

More Repositories