Labels
Labels
A-code generator
A-constructions
A-elaborator
A-emacs
A-equation compiler
A-inductive compiler
A-infrastructure
A-kernel
A-parser
A-printer
A-server
A-simplifier
A-smt
A-stdlib
A-tactic
A-type_context
bug
duplicate
E-easy
E-hard
E-help-wanted
E-medium
Feature
I-cleanup
I-enhancement
I-performance
I-wishlist
P-high
P-low
P-medium