✦ LIBER ✦

Formalizing the trading theorem in Coq

✍ Scribed by Christophe Dehlinger; Jean-François Dufourd

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A case study in formalizing projective g

✍ Nicolas Magaud; Julien Narboux; Pascal Schreck 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Formalization of a Parameterized Paralle

✍ Chen, G. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 122 KB

Formalizing non-interference for a simpl

✍ Florian Kammüller 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 207 KB

Theorem of Three Circles in Coq

✍ Zsidó, Julianna 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 622 KB

Coq formalization of the higher-order re

✍ Adam Koprowski 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 531 KB

Bertini-type theorems for formal functio

✍ Jorge Caravantes 📂 Article 📅 2011 🏛 Universidad Complutense de Madrid 🌐 Spanish ⚖ 335 KB