Big Books of 2026

Status Updates From Interactive Theorem Proving...

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by


Status Updates Showing 1-30 of 36

order by

Matthew
Matthew is on page 130 of 497
— 12 hours, 28 min ago Add a comment
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Matthew
Matthew is on page 100 of 497
— Dec 24, 2025 09:20PM Add a comment
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)












JuicyP
JuicyP is on page 19 of 497
— Feb 02, 2018 04:57PM Add a comment
Interactive Theorem Proving and Program Development

Fernando
Fernando is on page 67 of 497
— Mar 06, 2017 09:55PM Add a comment
Interactive Theorem Proving and Program Development

Fernando
Fernando is on page 42 of 497
— Mar 04, 2017 12:23PM Add a comment
Interactive Theorem Proving and Program Development

Fernando
Fernando is on page 25 of 497
— Mar 01, 2017 04:53AM Add a comment
Interactive Theorem Proving and Program Development

Fernando
Fernando is on page 13 of 497
— Feb 27, 2017 08:19PM Add a comment
Interactive Theorem Proving and Program Development


Sergey
Sergey is on page 54 of 497
— Jul 19, 2016 03:57AM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 142 of 497
— Jan 29, 2015 03:36PM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 118 of 497
— Jan 26, 2015 11:24AM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 71 of 497
— Jan 25, 2015 04:48AM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 46 of 497
— Jan 24, 2015 11:57AM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 36 of 497
— Jan 24, 2015 10:45AM Add a comment
Interactive Theorem Proving and Program Development

Jakub
Jakub is on page 12 of 497
— Jan 23, 2015 08:46AM Add a comment
Interactive Theorem Proving and Program Development



Ilmārs
Ilmārs is on page 9 of 497
— Nov 10, 2014 02:04PM Add a comment
Interactive Theorem Proving and Program Development

Mark Moon
Mark Moon is on page 105 of 497
— Jul 22, 2014 12:03AM Add a comment
Interactive Theorem Proving and Program Development

« previous 1