Loading...
Images of Isabelle List
(0 from 0 )News
AI4FM -- the past, the present and the future
www.ai4fm.org
Isabelle list notation used for telephone sequences. ▻ Rodin used merely to generate POs. ▻ Potential problems. ▻ map notation (function vs relation).
Download slides as PDF - AI4FM
www.ai4fm.org
Need a lemma from an almost similar development. • which requires ~50 intermediate lemmas. • User wants to prove lemma by analogy. From Isabelle list [April ...
sorted by relevance / date