Issues

• Should auto-generated schemes be moved inside there own modules/records

  rocq-archive/stdlib2#22 · Filter by author Matafou opened on Apr 17, 2020
  2

• Compatibility with std++ ?

  rocq-archive/stdlib2#20 · Filter by author spitters opened on Mar 21, 2020
  3

• Universes

  rocq-archive/stdlib2#17 · Filter by author Zimmi48 opened on Mar 25, 2019
  10

• Finite maps and finite sets

  rocq-archive/stdlib2#15 · Filter by author jakobbotsch opened on Mar 12, 2019
  3

• discussion of modularity mechanisms

  rocq-archive/stdlib2#13 · Filter by author andres-erbsen opened on Dec 6, 2018
  7

• Make the roadmap of the library more explicit and add dates

  rocq-archive/stdlib2#12 · Filter by author Zimmi48 opened on Nov 8, 2018
  5

• Policy for the superficial layout (spacing, newlines, ...).

  rocq-archive/stdlib2#11 · Filter by author herbelin opened on Sep 28, 2018
  5

• Plan for backwards compatibility and deprecation

  rocq-archive/stdlib2#10 · Filter by author langston-barrett opened on Jul 20, 2018
  3

• What should go in stdlib?

  rocq-archive/stdlib2#7 · Filter by author gmalecha opened on Jun 24, 2018
  10

• Strict behavior for hint databases

  rocq-archive/stdlib2#6 · Filter by author Zimmi48 opened on Jun 8, 2018
  8

• all functions should come with parametricity proofs

  rocq-archive/stdlib2#5 · Filter by author andres-erbsen opened on Jun 6, 2018
  2

• one smallest partial equivalence relation for each type

  rocq-archive/stdlib2#4 · Filter by author andres-erbsen opened on Jun 5, 2018
  12

• What should go in the prelude?

  rocq-archive/stdlib2#3 · Filter by author maximedenes opened on Jun 5, 2018
  6

• Naming conventions

  rocq-archive/stdlib2#2 · Filter by author maximedenes opened on Jun 5, 2018
  10