andriusvelykis/isabelle-eclipse andriusvelykis/isabelle-eclipse

  • Stars
    star
    12
  • Rank 1,588,418 (Top 32 %)
  • Language
    Python
  • License
    Eclipse Public Li...
  • Created over 12 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andriusvelykis/isabelle-eclipse
github

andriusvelykis

Reviews

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

Repository Details

Eclipse integration for Isabelle proof assistant.

More Repositories

1

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
132
star
2

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
15
star
3

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
15
star
4

bibdesk-scripts

Scripts for BibDesk application
AppleScript
10
star
5

ml-dev

Eclipse plug-in for Standard ML
Java
9
star
6

proofprocess

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

scala-nested-class-netbeans

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

blank-maven-skin

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