Coq is an interactive proof assistant for the development of mathematical theories and formally c...

Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial ...

Gilles Kahn was one of the most influential figures in the development of computer science and in...

Coq is an interactive proof assistant for the development of mathematical theories and formally c...