proofs - Robuta Search

https://cipherinsight.co/ CipherInsight | Privacy-Preserving Analytics with Zero-Knowledge Proofs CipherInsight delivers privacy-focused, cloud-native analytics solutions using advanced Zero-Knowledge Proof (ZKP) technology for fintech, healthcare, and... zero knowledge privacy preserving analytics proofs https://www.dxproof.com/ DxProof.com, The 11mt Dx proofs archive DxProof.com, The 11mt Dx proofs archive dx proofs archive https://ageverification.dev/av-doc-technical-specification/docs/annexes/annex-B/annex-B-zkp/ Annex B - Zero Knowledge Proofs for the Age Verification Solution - EU Age Verification Blueprint —... zero knowledge proofs age verification solution https://proofsandintuitions.net/ Proofs and Intuitions A blog about mathematics, computing, formal verification, and the ideas behind them proofs intuitions https://mathoverflow.net/questions/421358/techniques-for-debugging-proofs soft question - Techniques for debugging proofs - MathOverflow After writing many proofs, most of which contained errors in their initial form, I have developed some simple techniques for "debugging" my proofs. Of course,... soft question techniques debugging proofs https://docs.storageproofs.com/ Introduction | Storage Proofs introduction storage proofs https://www.zoho.com/in/payroll/kb/employer/proof-of-investments/attach-all-proofs.html Attach Multiple Proofs | Knowledge Base | Zoho Payroll Attach multiple proofs of same type at one go knowledge base attach multiple proofs zoho https://theshroudofturin.blogspot.com/2012/02/four-proofs-that-ad-1260-1390_23.html The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... Continuing from my " Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be wrong!: #2 The Vignon markings (2) " with ... https://repository.si.edu/items/cc530e6e-43d9-4c3b-a88b-12ad7c389d05/full Essays, Proofs, and Specimens of Vatican City Airmail Stamps vatican city essays proofs specimens airmail https://theshroudofturin.blogspot.com/2012/02/four-proofs-that-ad-1260-1390.html?showComment=1329758580899&m=0 The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... Continuing from part " #1 Introduction "of this series, "Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be wrong!... https://publikationen.bibliothek.kit.edu/1000137442 Reconstructing z3 proofs in KeY: There and back again there and back reconstructing proofs key https://digital.library.yale.edu/catalog?f%5Bgenre_ssim%5D%5B%5D=Proofs+%28Printed+matter%29&per_page=50&sort=score+desc%2C+pub_date_si+desc%2C+title_ssim+asc%2C+archivalSort_ssi+asc Genre: Proofs (Printed matter) - Yale University Library Search Results yale university library printed matter genre proofs search https://digital.library.yale.edu/catalog?f%5Bgenre_ssim%5D%5B%5D=Proofs+%28Printed+matter%29&per_page=10&sort=creator_ssim+desc%2C+title_ssim+asc%2C+archivalSort_ssi+asc&view=gallery Genre: Proofs (Printed matter) - Yale University Library Search Results yale university library printed matter genre proofs search https://experienceleague.adobe.com/en/docs/workfront-known-issues/issues/new-workfront-experience/wf-current/wf-proofs-web-proof-prevents-conversion Proofs: Proof prevents conversion of task or issue to project | Adobe Workfront When a user attempts to convert a task or issue that includes a web generated proof to a project, the project is not created and the user sees a message. A... https://experienceleaguecommunities.adobe.com/adobe-workfront-23/reverse-private-stage-for-proofs-137634 "Reverse" Private Stage For Proofs | Community Right now, if you mark a stage private, no one else can see the comments from that stage except the people in them.When working with clients, we want th... reverse private stage proofs community https://digital.library.pitt.edu/islandora/object/pitt:31735033466511 Annotated page proofs of "The Ability of Different Response and Scoring Methods to Discriminate... Typewritten documents. https://openlab.citytech.cuny.edu/2015-fall-mat-2071-reitz/?p=804 Midsemester Grades are posted | Proofs and Logic grades posted proofs logic https://experienceleaguecommunities.adobe.com/adobe-workfront-23/log-time-to-proofs-134385 Log Time to Proofs | Community Would be useful to get a sense of time spent on our proofs by licensed (Work or greater) and for that time to roll up to the project it is attached. Thi... log time proofs community https://books.google.com.br/books?id=2SkPAAAAIAAJ&redir_esc=y An Abridgment of the Christian Doctrine: With Proofs of Scripture on Points ... - Henry Turberville... https://www.bankofengland.co.uk/news/2017/march/boe-fintech-accelerator-launches-new-community-and-latest-proofs-of-concept Bank of England FinTech Accelerator launches new community and latest proofs of concept | Bank of... bank of england https://toc.csail.mit.edu/node/1667 Dot-Product Proofs and Their Applications | MIT CSAIL Theory of Computation dot product mit csail proofs https://publikationen.bibliothek.kit.edu/1262001 Inclusions and existence proofs for solutions of a nonlinear b... for solutions of a inclusions existence proofs https://arriqaaq.substack.com/p/unlocking-the-power-of-zero-knowledge Unlocking the Power of Zero Knowledge Proofs with Gnark and Go gnark is a high-performance, open-source library that enables effective zkSNARK applications. the power of zero unlocking https://store.hbr.org/product/the-five-proofs-of-facebook-s-ipo/H008BC?searchid=0&search_query=doubl+base+pack+2 The Five Proofs of Facebook's IPO Buy books, tools, case studies, and articles on leadership, strategy, innovation, and other business and management topics the five facebook s proofs ipo https://www.ideals.illinois.edu/items/82854 Modular Compilers and Their Correctness Proofs | IDEALS modular compilers correctness proofs ideals https://wolfishmusings.blogspot.com/2005/06/on-bad-reasoning-and-proofs-to-torah.html?showComment=1117833540000 Wolfish Musings: On Bad Reasoning and "Proofs" to the Torah Someone pointed me to a site called HaDibrot . There is a section on this site concerning Judaism and Science. Since this is a topic that in... to the wolfish musings bad reasoning https://researchportalplus.anu.edu.au/en/publications/display-to-labeled-proofs-and-back-again-for-tense-logics/ Display to Labeled Proofs and Back Again for Tense Logics - The Australian National University https://www.codecademy.com/resources/docs/discrete-math/proofs/proof-by-contradiction Discrete Math | Proofs | Proof by Contradiction | Codecademy Proving a statement by assuming that it is false and showing a contradiction follows on that assumption. discrete math proofs contradiction codecademy https://openlab.citytech.cuny.edu/2015-fall-mat-2071-reitz/?tag=grading-criteria grading criteria | Proofs and Logic grading criteria proofs logic https://theshroudofturin.blogspot.com/2012/02/four-proofs-that-ad-1260-1390_16.html?showComment=1340064304162 The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... This part #2 (2) continues from " Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be wrong!: #2 The Vignon marking... https://proofwiki.org/wiki/Category:Proofs Category:Proofs - ProofWiki category proofs https://jpohl.blogspot.com/2009/08/more-article-proofs.html Otto's Random Thoughts: More article proofs I just finished correcting the proofs for another journal article today. It now should be a while before I receive any more proofs to edit. ... random thoughts more article otto proofs https://savannah.gnu.org/i18n.php?lang_uri=%2Fi18n.php%3Flang_uri%3D%252Fsupport%252Fadmin%252Ffield_values.php%253Fgroup_id%253D7843%2526field%253Dstatus_id%2526list_value%253D1%26cookie_test%3D1 Acroamatic proofs, rather than otherwise, because, as casus in terminis. Play of the body. And so would it really appears to my experience. rather than proofs otherwise casus terminis https://mathmamawrites.blogspot.com/2025/06/infinitesimal-land-or-how.html Math Mama Writes...: Infinitesimal Land, Or How Infinitesimals Make Calculus Proofs More Natural I'm writing the 4th book in the series of Althea's MathMysteries, Althea and the Mysteries of Calculus. (I've written the first two, and the... https://openlab.citytech.cuny.edu/2014-fall-mat-2071-reitz/?tag=group-paper group paper | Proofs and Logic group paper proofs logic https://tnielsen.com/ Visionary Art and MTG Prints, Playmats & Artist Proofs by Terese Nielsen Nov 29, 2024 - Explore the visionary art of Terese Nielsen, who has captured the imagination of the gaming, fantasy and comic book industry for 30+ years. visionary art artist proofs mtg prints https://quics.netlify.app/publications/computational-test-contextuality-and-even-simpler-proofs-quantumness A Computational Test of Contextuality and, Even Simpler Proofs of Quantumness | Joint Center for... https://eprints.illc.uva.nl/id/eprint/2344/ HDS-40: A Method in Proofs of Undefinability - ILLC Preprints and Publications https://www.salon.com/2023/10/14/prue-proofs-and-pizzagate-bread-week-comes-to-bake-off/ Prue, proofs and #PizzaGate: Bread week comes to "Bake Off" - Salon.com Oct 14, 2023 - Made by Star Baker Tasha, this hearty loaf sounds perfect for winter https://patents.google.com/patent/US10129029/en US10129029B2 - Proofs of plaintext knowledge and group signatures incorporating same - Google... Systems and methods are provided for proving plaintext knowledge of a message m, encrypted in a ciphertext, to a verifier computer. The method includes, at a... proofs plaintext knowledge https://utheses.univie.ac.at/detail/14181 Syntactical consistency proofs for term induction revisited consistency proofs term induction revisited https://ir.cwi.nl/pub/24063 Centrum Wiskunde & Informatica: Automata-Theoretic Protocol Programming (With Proofs) centrum wiskunde informatica automata protocol https://artofmoyse.blogspot.com/2009/10/waiting-for-colour-digital-proofs-and.html Waiting for colour digital proofs- and sketch of camel An art blog based on the award-winning caricatures of Paul Moyse! waiting for colour digital proofs sketch camel https://collaborate.princeton.edu/en/publications/a-new-notion-of-compositionality-for-concurrent-program-proofs/ A new notion of compositionality for concurrent program proofs - Princeton University a new notion compositionality https://archives.library.unimelb.edu.au/nodes/view/231930 Australia Today progress proofs | University of Melbourne Archives Identifier: UMA-ITE-1979016201893 | Access Status: Open for public access | Creator: Commercial Travellers' Association | Date: c.1960 | Read the full record... university of melbourne australia today progress proofs archives https://arend-lang.github.io/documentation/tutorial/PartI/propsnproofs Propositions and Proofs - Arend Theorem Prover The Arend Theorem Prover propositions proofs arend theorem prover https://community.smartsheet.com/discussion/100521/why-are-my-proofs-disappearing Why are my proofs disappearing! - Smartsheet Community my proofs disappearing smartsheet community https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3334/Logic-of-Proofs-with-the-Strong-Provability-Operator Logic of Proofs with the Strong Provability Operator | Institute for Logic, Language and Computation https://msclogic.illc.uva.nl/theses/archive/publication/4958/Epistemic-Logics-for-Cryptographic-Protocols-and-Zero-Knowledge-Proofs Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs | Master of Logic zero knowledge proofs cryptographic protocols https://mailarchive.ietf.org/arch/msg/dnsop/zJ_YBuarrHLDieKyA5AKmpmqrpk/ Re: [DNSOP] What is the purpose of NSEC3 "closest encloser" proofs? Search IETF mail list archives what is the dnsop https://theshroudofturin.blogspot.com/2012/02/four-proofs-that-ad-1260-1390_23.html?m=1 The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... Continuing from my " Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be wrong!: #2 The Vignon markings (2) " with ... https://apps.shopify.com/k-sales-notification?locale=cs Boost sales with social proofs, sales popups & notifications. | Shopify App Store Increase sales and trust with real-time notifications of recent purchases, adding urgency and social proof to your store. Highlight what others are... boost sales shopify app social proofs popups https://newtheologicalmovement.blogspot.com/2021/04/easter-sunday-sermon-april-4th-proofs.html Easter Sunday Sermon, April 4th -- Proofs of the Resurrection, and What It Means for Us | The New... There are physical proofs of the Resurrection: The tomb was sealed, and the angel rolled back the stone to reveal that Christ had been rais... https://ocw.mit.edu/courses/6-890-algorithmic-lower-bounds-fun-with-hardness-proofs-fall-2014/resources/lecture-1-overview/ Lecture 1: Overview | Algorithmic Lower Bounds: Fun with Hardness Proofs | Electrical Engineering... MIT OpenCourseWare is a web based publication of virtually all MIT course content. OCW is open and available to the world and is a permanent MIT activity lower bounds https://www6.wolframalpha.com/examples/pro-features/step-by-step-solutions/step-by-step-proofs Wolfram|Alpha Examples: Step-by-Step Proofs Step-by-step solutions for proofs: mathematical induction, trigonometric identities and series convergence. wolfram alpha examples step proofs https://ethereum.org/zero-knowledge-proofs/?ref=defiplot.com Zero-knowledge proofs | ethereum.org A non-technical introduction to zero-knowledge proofs for beginners. zero knowledge proofs ethereum https://ocw.mit.edu/courses/6-890-algorithmic-lower-bounds-fun-with-hardness-proofs-fall-2014/resources/idnphho_o6w-1/ 3play pdf file | Algorithmic Lower Bounds: Fun with Hardness Proofs | Electrical Engineering and... MIT OpenCourseWare is a web based publication of virtually all MIT course content. OCW is open and available to the world and is a permanent MIT activity https://archives.bodleian.ox.ac.uk/repositories/2/archival_objects/90049 Text proofs, 1988 | Bodleian Archives & Manuscripts text proofs bodleian archives manuscripts https://research.ibm.com/publications/practical-exact-proofs-from-lattices-new-techniques-to-exploit-fully-splitting-rings Practical Exact Proofs from Lattices: New Techniques to Exploit Fully-Splitting Rings for AsiaCrypt... Practical Exact Proofs from Lattices: New Techniques to Exploit Fully-Splitting Rings for AsiaCrypt 2020 by Muhammed F. Esgin et al. https://www.mdpi.com/1424-8220/16/1/75 Authentication Based on Non-Interactive Zero-Knowledge Proofs for the Internet of Things This paper describes the design and analysis of a new scheme for the authenticated exchange of confidential information in insecure environments within the... zero knowledge proofs https://community.wolfram.com/groups/-/m/t/3216803 [WSRP24] Generating macro machine simulations and proofs of halting for busy beaver Turing machines... Wolfram Community forum discussion about [WSRP24] Generating macro machine simulations and proofs of halting for busy beaver Turing machines. Stay on top of... https://www.ohnb.uscourts.gov/news/notice-regarding-implementation-electronic-filing-proofs-claim-epoc-program Notice Regarding Implementation of Electronic Filing of Proofs of Claim (ePOC) Program | Northern... electronic filing notice regarding implementation https://911truthactivism.blogspot.com/2016/09/basic-911-forensic-proofs-911_9.html 911 Truth Activism: Basic 911 Forensic Proofs: 9/11 Experiments - The Mysterious Eutectic (Melted)... Posted by SpookyOne Did rubble from the WTC really cause those eutectic formations, as we were led to believe? Conventional fires,... https://people.eecs.berkeley.edu/~henrycg/pubs/proofs-secret/ Henry Corrigan-Gibbs | Zero-Knowledge Proofs on Secret-Shared Data via Fully Linear PCPs https://sites.google.com/site/englishproofs/ English Proofs Want to communicate your ideas in clear and concise English? Need a fresh pair of eyes to run through your manuscripts, theses, website content, resumes/CVs,... english proofs https://theshroudofturin.blogspot.com/2012/02/four-proofs-that-ad-1260-1390_16.html?showComment=1385184119439 The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... This part #2 (2) continues from " Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be wrong!: #2 The Vignon marking... https://aspace.lib.uiowa.edu/subjects/1581 Proofs (printed matter) | ArchivesSpace at the University of Iowa printed matter the university proofs archivesspace iowa https://experienceleaguecommunities.adobe.com/adobe-workfront-23/ability-to-add-emails-as-proofs-137396 Ability to add emails as proofs | Community Currently we cannot use files in msg format and add them as a proof. Thanks to this option, users will not need to use workarounds as it affects a large... to add ability emails proofs community https://edwardfeser.blogspot.com/2018/01/five-proofs-on-television-and-radio.html?m=0 Edward Feser: Five Proofs on television and radio (Updated) UPDATE 1/12: You can now watch the EWTN Live episode on YouTube or at the EWTN Live web page . This Wednesday, January 10, I will... television and radio edward feser five proofs updated https://community.smartsheet.com/discussion/141595/proofs-disappeared Proofs disappeared - Smartsheet Community This discussion was created from comments split from: Why are my proofs disappearing!. proofs disappeared smartsheet community https://pure.psu.edu/en/publications/combinatorial-proofs-of-various-q-pell-identities-via-tilings/ Combinatorial Proofs of Various q-Pell Identities via Tilings - Penn State combinatorial proofs various q https://crypto.ethz.ch/publications/Maurer09.html Unifying Zero-knowledge Proofs of Knowledge - Information Security and Cryptography Research Group... zero knowledge proofs security and cryptography unifying https://www.mis.mpg.de/de/events/event/proofs-and-generalizations-of-the-clausius-mossotti-formulas-for-random-inclusions Proofs and generalizations of the Clausius-Mossotti formulas for random inclusions in AG... https://theshroudofturin.blogspot.com/2012/03/four-proofs-that-ad-1260-1390.html?m=1 The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... This part "#2 The Vignon markings (4)" is a continuation from my part #2 (3) , of my series " Four proofs that the AD 1260-1390 radiocarbon ... https://nhsengland.github.io/datascience/our_work/hsma-wlmds/ Waiting List Minimum Dataset (WLMDS) Proofs of Concept - NHS England Data Science waiting list minimum dataset https://research.birmingham.ac.uk/en/publications/cyclic-proofs-for-arithmetical-inductive-definitions/ Cyclic Proofs for Arithmetical Inductive Definitions - University of Birmingham university of cyclic proofs inductive definitions https://experienceleaguecommunities.adobe.com/adobe-workfront-23/need-list-of-proofs-user-needs-to-review-not-approve-139905 Need list of Proofs user needs to Review, not Approve | Community The Home area as well as Document Version reporting needs to have the ability to filter out all the proofs a users is tagged to Review, even if they are... list of user needs to review proofs https://groups.google.com/g/eci-en/c/-DPCINtckNI Print digital proofs with eciCMYK_v2 profile. print digital proofs profile https://researchportalplus.anu.edu.au/en/publications/improvements-in-everlasting-privacy-efficient-and-secure-zero-kno/fingerprints/ Improvements in everlasting privacy: Efficient and secure zero knowledge proofs - Fingerprint - The... zero knowledge proofs https://openlab.citytech.cuny.edu/2015-fall-mat-2071-reitz/?tag=paper paper | Proofs and Logic paper proofs logic https://plato.stanford.edu/archives/fall2015/entries/logic-deontic/twosimple.html Deontic Logic Two Simple Proofs in Kd (Stanford Encyclopedia of Philosophy/Fall 2015 Edition) https://www.nlm.nih.gov/exhibition/visibleproofs/exhibition/rise.html Visible Proofs: Forensic Views of the Body: Exhibition: The Rise of Forensics of the visible proofs forensic views https://www.podcasts.ox.ac.uk/pseudo-deterministic-algorithms-and-proofs?video=1 Pseudo deterministic algorithms and proofs | University of Oxford Podcasts Probabilistic algorithms for both decision and search problems can offer significant complexity improvements over deterministic algorithms. One major... university of oxford pseudo deterministic algorithms proofs https://collaborate.princeton.edu/en/publications/snargs-under-lwe-via-propositional-proofs/ SNARGs under LWE via Propositional Proofs - Princeton University lwe via proofs princeton university https://arxiv.org/abs/quant-ph/0307125 [quant-ph/0307125] The statistical strength of nonlocality proofs Abstract page for arXiv paper quant-ph/0307125: The statistical strength of nonlocality proofs quant ph statistical strength nonlocality https://ocw.mit.edu/courses/6-890-algorithmic-lower-bounds-fun-with-hardness-proofs-fall-2014/resources/ih0cpr745fm/ 3play caption file | Algorithmic Lower Bounds: Fun with Hardness Proofs | Electrical Engineering... MIT OpenCourseWare is a web based publication of virtually all MIT course content. OCW is open and available to the world and is a permanent MIT activity lower bounds https://theshroudofturin.blogspot.com/2012/03/four-proofs-that-ad-1260-1390.html The Shroud of Turin: Four proofs that the AD 1260-1390 radiocarbon date for the Shroud has to be... This part "#2 The Vignon markings (4)" is a continuation from my part #2 (3) , of my series " Four proofs that the AD 1260-1390 radiocarbon ... https://community.zkproof.org/ The ZKProof Community - A forum for zero-knowledge proofs A forum to discuss topics related to cryptographic zero-knowledge proofs, including, but not limited to, the community standards. a forum zero knowledge community proofs https://philsci-archive.pitt.edu/22002/ The Language of Proofs: A Philosophical Corpus Linguistics Study of Instructions and Imperatives in... https://dmatheorynet.blogspot.com/2025/07/dmanet-call-for-papers-tests-and-proofs.html Theory Announcements: [DMANET] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) **CALL FOR PAPERS** **Special Track on Tests and Proofs (TAP 2026)** *at the* **27th International Symposium on Formal Methods (FM 2026)** *... https://books.google.co.in/books/about/The_Meaning_of_Proofs.html?id=hb9WEAAAQBAJ&redir_esc=y The Meaning of Proofs: Mathematics as Storytelling - Gabriele Lolli - Google Books Why mathematics is not merely formulaic: an argument that to write a mathematical proof is tantamount to inventing a story.In The Meaning of Proofs,... the meaning proofs mathematics https://experienceleaguecommunities.adobe.com/adobe-workfront-23/can-anyone-give-advice-or-feedback-on-how-teams-are-managing-proofs-right-now-we-have-are-writers-and-designers-creating-and-sending-proofs-however-they-are-having-a-hard-time-keeping-track-of-proofs-that-are-completed-and-are-done-128852?po Can anyone give advice or feedback on how teams are managing proofs? Right now we have are writers... Currently, I have a report that shows all proofs that were created by the user that were closed within the last 30 days. But I don't know of a way t... https://findingaids.princeton.edu/catalog/C0106_c31 Page Proofs of On the Limits of Poetry: Pages 351-End, circa 1940-1945 - Finding Aids https://openresearch.surrey.ac.uk/esploro/outputs/other/Simplifying-proofs-of-linearisability-using-layers/99928932602346 Simplifying proofs of linearisability using layers of abstraction - University of Surrey Linearisability has become the standard correctness criterion for concurrent data structures, ensuring that every history of invocations and responses of... simplifying proofs using layers abstraction https://intra.kth.se/en/aktuellt/kalender/on-long-proofs-of-simple-truths-1.1197171?date=2022-10-27&orgdate=2022-07-09&length=1&orglength=176 On Long Proofs of Simple Truths | KTH simple truths long proofs kth https://www.nlm.nih.gov/exhibition/visibleproofs/galleries/exhibition/laboratory_image_19.html Visible Proofs: Forensic Views of the Body: Galleries: Exhibition Images: Laboratory Views of the exhibition images visible proofs forensic https://find.library.upenn.edu/catalog/9979656301503681 A brief examination of the proofs by which the Rev. Mr. Boardman attempts to sustain his charge,... Access 'A brief examination of the proofs by which the Rev. Mr. Boardman attempts to sustain his charge, that "a large and learned body of the clergy of the... https://arxiv.org/abs/2410.13502 [2410.13502] MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs Abstract page for arXiv paper 2410.13502: MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs https://collections.monash.edu/nodes/view/114637 Typescripts, notes and proofs for Malone Society reprints of 'The Death of Robert' and 'Marriage... Item date: 1965 | Item identifier: 2008/08 Item 78 | Series: MON1220 | Read the full record details for Item: Typescripts, notes and proofs for Malone Society... https://kth.diva-portal.org/smash/record.jsf?faces-redirect=true&language=en&searchType=SIMPLE&query=&af=%5B%5D&aq=%5B%5B%5D%5D&aq2=%5B%5B%5D%5D&aqe=%5B%5D&pid=diva2%3A2044610&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all On small-depth Frege proofs for PHP small depth frege proofs php