List view

• Catala v1.2.0

  Due by May 10, 2026

  •0/15 issues closed
  0% complete15 open0 closed

• Catala v1.1.0

  Due by February 10, 2026

  •16/16 issues closed
  100% complete0 open16 closed

• Catala as a Proof platform

  Objective: provide an automated proof experience to let Catala users check two properties about their programs: * whatever the input, the program always find at least one rule to apply for all of its variables ; * no two unprioritized exceptions can trigger at the same time.

  No due date

  •8/13 issues closed
  61% complete5 open8 closed