Issues

• Constructive pi with extractable separation witnesses — would CoRN be interested? (referred from stdlib#316)

  rocq-community/corn#227 · Filter by author hy7pc8gfmf-dotcom opened on Oct 14, 2026
  1

• Release a version compatible with Coq/Rocq 9.2

  rocq-community/corn#225 · Filter by author SnarkBoojum opened on Jul 11, 2026
  1

• Unclear licensing

  rocq-community/corn#172 · Filter by author SnarkBoojum opened on Jul 15, 2022
  1

• Missing translations from IR to R

  rocq-community/corn#164 · Filter by author jakezweifler opened on Oct 11, 2021
  1

• Listing and preserving Corn-related publications

  rocq-community/corn#119 · Filter by author palmskog opened on Aug 15, 2020
  4

• Fundamental theorem of algebra :: location?

  rocq-community/corn#74 · Filter by author OrenGitHub opened on Apr 30, 2019
  2

• Std lib ommisions

  help wanted
  rocq-community/corn#58 · Filter by author spitters opened on Jul 20, 2018

• [math-classes] Non-commutative (semi)rings

  rocq-community/corn#38 · Filter by author urkud opened on Nov 30, 2016
  2

• reading order

  rocq-community/corn#8 · Filter by author aa755 opened on Oct 19, 2014