Skip to content

No labels!

There aren’t any labels for this repository quite yet.

D-medium
D-medium
medium difficulty
duplicate
duplicate
help wanted
help wanted
contributions welcome!
I-cnf
I-cnf
CNF and type inference
I-core-types
I-core-types
core data types and data structures
I-datatypes
I-datatypes
theory of datatypes
I-heuristics
I-heuristics
heuristics, portfolio
I-ho
I-ho
higher-order stuff
I-induction
I-induction
I-perf
I-perf
performance related issues
I-proof-check
I-proof-check
proof checking
I-rewriting
I-rewriting
term rewriting (deduction modulo)
I-superposition
I-superposition
I-tooling
I-tooling
auxiliary tooling
invalid
invalid
question
question
refactoring
refactoring
tweaking
tweaking
wontfix
wontfix