7 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Chase Norman, Jeremy Avigad
Dependent type theory is the foundation of many modern proof assistants. Inhabitation and unification are undecidable problems that are useful for theorem proving and program synth…