Skip to content
BranchesTags

Repository files navigation

REQUIREMENTS:
-------------

    * Isabelle2014 Interactive Theorem Prover

        http://isabelle.in.tum.de/

    * Simpl

        http://afp.sourceforge.net/entries/Simpl.shtml

    * AutoCorres version 1.0

        http://ssrg.nicta.com.au/projects/TS/autocorres/

About

Associated Isabelle/HOL theories for Chapter 2 of my PhD - A Framework for the Verification of Certifying Computations

Resources

Readme
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages