Copilot-Language / copilot

Pull Request #610 `copilot-theorem`: Translate quantifiers correctly in Kind2 backend. Refs #594.

RyanGlScott

Pull request event #715 passed

  • Ran for
  • New branch build
AMD64
no language set
Git

Sorry, we're having troubles fetching jobs. Please try again later.