Popular repositories Loading

1. hol4isabelle hol4isabelle Public

   Isabelle 4 2

2. hol-light hol-light Public

   Automatically exported from code.google.com/p/hol-light

   Standard ML

3. Taylor-Models-Isabelle Taylor-Models-Isabelle Public

   Forked from ctraut/Taylor-Models-Isabelle

   A formally verified implementation of taylor models for the proof assistant Isabelle

   Isabelle

4. KeYmaeraX-release KeYmaeraX-release Public

   Forked from LS-Lab/KeYmaeraX-release

   KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

   Scala

5. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

6. ARCH-COMP-Report-Nonlinear ARCH-COMP-Report-Nonlinear Public

   TeX