Labels Milestones

17 labels

Sort

Alphabetically Reverse alphabetically Least issues Most issues

• category

  bug

  
  Bugs, Test failures, Build failures
  2 open issues/pull requests
• category

  doc

  
  Documentation
  1 open issues/pull requests
• category

  feature

  
  New features and enhancements
  7 open issues/pull requests
• category

  optimization

  
  Performance improvements
  1 open issues/pull requests
• category

  organization

  
  Versioning and structure
  0 open issues/pull requests
• part/Delation

  
  Kernel to search view
  0 open issues/pull requests
• part/Elab

  
  Parsing and elaboration
  0 open issues/pull requests
• part/Environment

  
  Environments, Library, Catalog
  2 open issues/pull requests
• part/FFI

  
  Library and FFI
  0 open issues/pull requests
• part/Frontend

  
  Driving the Lean compiler
  3 open issues/pull requests
• part/Goal

  
  Goal evolution, proof terms, tactics
  4 open issues/pull requests
• part/REPL

  
  For text based interaction
  2 open issues/pull requests
• part/Serial

  
  Serialization, IO
  3 open issues/pull requests
• priority

  high
  0 open issues/pull requests
• priority

  irrelevant

  
  Issues that will not be fixed or are intended features
  1 open issues/pull requests
• priority

  low

  
  For things that don't impede release schedule
  3 open issues/pull requests
• priority

  medium
  2 open issues/pull requests