The following pages link to Burak Ekici (Q1798945):
Displaying 6 items.
- Concrete semantics with Coq and CoqHammer (Q1798946) (← links)
- SMTCoq: a plug-in for integrating SMT solvers into Coq (Q2164216) (← links)
- Mac Lane's comparison theorem for the Kleisli construction formalized in Coq (Q2209259) (← links)
- Relative Hilbert-Post Completeness for Exceptions (Q2807879) (← links)
- (Q4560265) (← links)
- Formal categorical reasoning (Q5102205) (← links)
