dimitri hendriks

Pages accompanying some of our papers, in particular on tools and Coq formalizations.

• productivity of stream definitions
  
  
• coherent logic & hessenberg's theorem
  
  
• a coq formalization of the thue-morse sequence
  
  
• adbmal calculus
  
  
• proof reflection in coq
  
  
• automated proof construction using resolution