Automated Deduction – CADE 28

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 3 citations on 3 Wikipedia pages.

Lean es un asistente de pruebas y un lenguaje de programación. Se basa en el cálculo de construcciones con tipos inductivos.

Lean is a proof assistant and programming language. It is based on the calculus of constructions with inductive types.

Meredith was the cousin of David Meredith. He was also related to another mathematician, Thomas Meredith.

This page shows the most recent Wikipedia articles that mention this research output.

Click here to find out how to access more activity.