ulrichschoepp.de - Ulrich Schöpp

home > domains > ulrichschoepp.de

Example domain paragraphs

Browse the formalisation: Summary of Main Results , JAGs and Reachability , General Index.

Download the formalisation sources: reach1.1.zip (17 June 2008)

These files can be checked in Coq 8.1 with the tactic language extension SSReflect 1.1 . A distribution of SSReflect 1.1 along with installation instructions can be obtained from the Mathematical Components Project .

Links to ulrichschoepp.de (2)

• cj-xu.github.io Chuangjie Xu
• ppdp2021.github.io PPDP 2021