Software Developed by Achim D. Brucker

  • svninfo 0.7.3 is considered as a flexible and advanced tool to extract the revision and file information provided by the Subversion revision control system.To present the version information of a document, one needs to extract it from some kind of ...

    • LPPL ($)
    • Any Platform
  • IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle. This means, you can boot from the CD and get a fully operational "theorem proving" environment without installing GNU/Linux or Isabelle.

    • GPL ($)
    • 498.6 Mb
    • Any Platform