FormalizedFormalLogic/Arithmetization

Issues

• Updates available but manual intervention required

  #8 opened a month ago by github-actions
  3

• Updates available but manual intervention required

  #10 opened a month ago by github-actions
  0

• Nuon(x) is definable by Δ₀-formula

  #1 opened 9 months ago by iehality
  0