List view

• Catala v1.2.0

  Due by May 10, 2026

  •2/18 issues closed
  11% complete16 open2 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