Interactive Theorem Proving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2016

Dates and versions

hal-01356464 , version 1 (25-08-2016)

Identifiers

Cite

Jasmin Christian Blanchette, Stephan Merz (Dir.). Interactive Theorem Proving: 7th International Conference, ITP 2016. Springer, 9807, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-43144-4⟩. ⟨hal-01356464⟩
77 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More