The following pages link to Thomas Braibant (Q2351421):
Displayed 7 items.
- Implementing and reasoning about hash-consed data structures in Coq (Q2351422) (← links)
- Compositional Computational Reflection (Q2879264) (← links)
- Deciding Kleene Algebras in Coq (Q2881083) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- Coquet: A Coq Library for Verifying Hardware (Q3100217) (← links)
- Implementing Hash-Consed Structures in Coq (Q5327368) (← links)
- An Efficient Coq Tactic for Deciding Kleene Algebras (Q5747648) (← links)