Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Reynald Affeldt
Follow
Activity
Upvotes
Folders
Articles
9
Taming Differentiable Logics with Coq Formalisation
5 July 2024 by
Reynald Affeldt
and
others
Logic in Computer Science
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
30 June 2024 by
Reynald Affeldt
and
Zachary Stone
Logic in Computer Science
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
11 December 2023 by
Reynald Affeldt
and
others
Logic in Computer Science
Measure Construction by Extension in Dependent Type Theory with Application to Integration
1 February 2023 by
Reynald Affeldt
and
Cyril Cohen
Logic in Computer Science
Extending Equational Monadic Reasoning with Monad Transformers
18 March 2021 by
Reynald Affeldt
and
David Nowak
Logic in Computer Science
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
13 July 2020 by
Reynald Affeldt
and
others
Logic in Computer Science
Formal Adventures in Convex and Conical Spaces
27 May 2020 by
Reynald Affeldt
and
others
Logic in Computer Science
Proving tree algorithms for succinct data structures
2 July 2019 by
Reynald Affeldt
and
others
Programming Languages
,
Data Structures and Algorithms
Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS
12 May 2010 by
Reynald Affeldt
and
others
Cryptography and Security
,
Cryptology Foundations
This is an AI-generated summary
Key points
Topics
Logic in Computer Science
Programming Languages
Data Structures and Algorithms
Cryptography and Security
Cryptology Foundations
Cryptology
