Buchumschlag

The Agda standard library: version 2.0

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Daggitt, Matthew, Allais, Guillaume, McKinna, James, Abel, Andreas Martin, van Doorn, Nathan, Wood, James, Norell, Ulf, Kidney, Donnacha Oisín, Meshveliani, Sergei, Stucki, Sandro, Carette, Jacques, Rice, Alex, Hu, Jason Z. S., Xia, Li-yao, You, Shu-Hung, Mullanix, Reed, Kokke, Wen
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	Formal verification Agda Standard Library
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Selfie Verification: A Comprehensive Guide to Secure Identity Authentication in the Digital Age
von: Crypto Education Research Lab
Veröffentlicht: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
von: Arquint, Linard, et al.
Veröffentlicht: (2025)

Computer Aided Verification of Relational Models by Strategic Rewriting
von: Claudia M. Necco
Veröffentlicht: (2017)

Speaker Verification in Different Database Scenarios
von: Leibny Paola García Perera
Veröffentlicht: (2011)

Lean Aps Recursion Uniformization (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Observer Non Exhaustability (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Observer Non Exhaustability (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Representational Incompleteness (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Representational Incompleteness (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Reflexive Closure (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

UGP/GTE Lean formalization
von: Spivack, Nova
Veröffentlicht: (2026)

Lean Nems (Lean formalization)
von: Spivack, Nova
Veröffentlicht: (2026)

A Timestamped Priority Note on Thermodynamic Verification Budgets and Mutual-Information Geometry in Relational Physics
von: Panasenko, Alexander
Veröffentlicht: (2026)

SAFE-Matter™ defines an evidential safety governance system for life-critical environments.
von: Mincher, Paul
Veröffentlicht: (2026)

Automated contrast painting for position verification in radiotherapy
von: PM Putora
Veröffentlicht: (2009)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Towards a Universal Digital Identity- A Blockchain-Based Framework for Borderless Verification
von: Akhison, Glad
Veröffentlicht: (2025)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
von: Proof Engine
Veröffentlicht: (2026)

Dokumentenfälschung und Identitätsbetrug
von: Denecke, Jan, et al.
Veröffentlicht: (2026)

MatVerse Execution 578699390d86632f
von: MatVerse Ouroboros System
Veröffentlicht: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
von: Proof Engine
Veröffentlicht: (2026)

Catelingo: Constraint-Based Semantic Validity Verification for Language Models
von: Miya, Shinobu
Veröffentlicht: (2026)

Application of algebraic topology to fingerprint recognitiony
von: Alejandro Valdés Camejo
Veröffentlicht: (2018)

Speaker verification system based on articulatory information from ultrasound recordings
von: Dagoberto Porras-Plata
Veröffentlicht: (2020)

Verification of transaction level models of embedded systems
von: Lucky Lochi Yu Lo
Veröffentlicht: (2013)

Identity Verification in Virtual Education Using Biometric Analysis Based on Keystroke Dynamics
von: Daniel. Escobar-Grisales
Veröffentlicht: (2020)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
von: Yun, Kwansub, et al.
Veröffentlicht: (2026)

erdos-ant-verification: An Executable Reproduction Artifact for Equation (2.2) of the Erdős Unit-Distance Disproof Remarks Paper
von: Yun, Kwansub, et al.
Veröffentlicht: (2026)

erdos-ant-verification: An Executable Verification Artifact for the Sawin et al. Lower Bound on the Erdős Unit-Distance Exponent
von: Flamehaven Labs
Veröffentlicht: (2026)

Commit-Gated Execution for Regulated Artificial Intelligence
von: Pinnock, Lee
Veröffentlicht: (2026)

Speaker Verification on Summed-Channel Conditions with Confidence Measures
von: Carlos Vaquero Avilés Casco
Veröffentlicht: (2011)

Development of Verification Infrastructure to Validate RAM Low Power Features at Unit Level
von: Vibha Narayan R, et al.
Veröffentlicht: (2022)

SECURE AND PRIVACY-PRESERVING CLOUD DATA SHARING USING ATTRIBUTE-BASED ACCESS CONTROL
von: International Journal of Technology, Leadership and Sciences
Veröffentlicht: (2026)

Author Verification Using a Semantic Space Model
von: Ángel Hernández-Castañeda
Veröffentlicht: (2017)

Welche Beziehung besteht zwischen Durchmesser und Rtex-Wert eines Netzgarns?
von: Dahm, Erdmann
Veröffentlicht: (1974)