3 ms·
The best resource for getting started with Isabelle/HOL is http://www.concrete-semantics.org/ http://www.concrete-semantics.org/. Freely available.
by cmrx64 10y ago
The best resource for getting started with Isabelle/HOL is http://www.concrete-semantics.org/ http://www.concrete-semantics.org/. Freely available.