|
E-on-Isabelle |
||||||
Min_E.thy is our first draft Isabelle theory file, in a first attempt to specify a language we call "Min-E", a subset of Kernel-E.
We hope this subtree will grow to contain Isabelle theory files whose purpose is to formally specify various parts of E.
Unless stated otherwise, all text on this page which is either unattributed or by Mark S. Miller is hereby placed in the public domain.
|
|
report bug (including invalid html)
|
||||||||
