View theory dependencies
View document
View the generated code in SML and in Haskell
Download the theories
Download the benchmarks
Link to the imperative version (including the Gauss_Jordan_Imp.thy file)
Download the C++ version (including the Gauss_Jordan.cpp file)