Popular repositories Loading

1. key-smtmgr key-smtmgr Public

   Forked from wadoon/key-smtmgr

   Kotlin

2. spotless-intellij-gradle spotless-intellij-gradle Public

   Forked from ragurney/spotless-intellij-gradle

   An IntelliJ plugin to allow running the Spotless gradle task from within the IDE.

   Java

3. key key Public

   Forked from KeYProject/key

   KeY Theorem Prover for Deductive Java Verification

   Java

4. contract-lib contract-lib Public

   Forked from gernst/contract-lib

   Contract-LIB proposal and tool-chain

   Java

5. scriptcounter scriptcounter Public

   A small utility to obtain statistics for experimental scripts for the KeY prover

   Java

6. universe universe Public

   Forked from opprop/universe

   Generic Universe Type System

   Java