Proof Pearl: Looping Around the Orbit
From MaRDI portal
Publication:3523177
DOI10.1007/978-3-540-74591-4_17zbMath1144.68363OpenAlexW1547845755MaRDI QIDQ3523177
Publication date: 2 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_17
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Flyspeck II: The basic linear programs ⋮ Generating certified code from formal proofs: a case study in homological algebra
This page was built for publication: Proof Pearl: Looping Around the Orbit
