The following pages link to (Q4503899):
Displaying 4 items.
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- Automated proof construction in type theory using resolution (Q1868508) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Proof-term synthesis on dependent-type systems via explicit substitutions (Q5958764) (← links)