All pull requests

Pull requests

• Using the rocq-coinduction library

  #285·rogerburtonpatel opened Jun 29, 2026·

  ·
  17

• Use coinduction instead of paco

  #282·Lysxia opened Jan 22, 2026Collaborator·

  ·

• (WIP) Prove mrec_loop2

  #276·Lysxia opened Jun 17, 2025Collaborator·

  ·

• [WIP] Consolidate monad definitions to extlib

  #270·laelath opened Sep 30, 2024·

  ·
  1

  6

• [WIP] Moving to stdpp

  #267·YaZko opened Apr 18, 2024Collaborator·25 of 27 tasks·

  ·
  9

• ITree home page / bibliography

  #242·Lysxia opened Jul 29, 2022Collaborator·3 tasks·

  ·

• Indexed Coinduction

  needs:rebase
  #196·Lysxia opened Feb 14, 2021Collaborator·

  ·
  2

• Denotation of open cfgs in presence of function calls

  enhancementitreeswip
  #166·YaZko opened Mar 30, 2020Collaborator·

  ·
  1

  

• Support for the Prop Monad

  enhancementitreeswip
  #165·YaZko opened Mar 25, 2020Collaborator·

  ·
  4