Cover Image

The Agda standard library: version 2.0

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	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
Language:	English
Published:	Zenodo 2025
Subjects:	Formal verification Agda Standard Library
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Selfie Verification: A Comprehensive Guide to Secure Identity Authentication in the Digital Age
by: Crypto Education Research Lab
Published: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
by: Arquint, Linard, et al.
Published: (2025)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

Speaker Verification in Different Database Scenarios
by: Leibny Paola García Perera
Published: (2011)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

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

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

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

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
by: Proof Engine
Published: (2026)

Towards a Universal Digital Identity- A Blockchain-Based Framework for Borderless Verification
by: Akhison, Glad
Published: (2025)

Automated contrast painting for position verification in radiotherapy
by: PM Putora
Published: (2009)

A Timestamped Priority Note on Thermodynamic Verification Budgets and Mutual-Information Geometry in Relational Physics
by: Panasenko, Alexander
Published: (2026)

SAFE-Matter™ defines an evidential safety governance system for life-critical environments.
by: Mincher, Paul
Published: (2026)

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
by: Proof Engine
Published: (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
by: Proof Engine
Published: (2026)

Dokumentenfälschung und Identitätsbetrug
by: Denecke, Jan, et al.
Published: (2026)

MatVerse Execution 578699390d86632f
by: MatVerse Ouroboros System
Published: (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
by: Proof Engine
Published: (2026)

Catelingo: Constraint-Based Semantic Validity Verification for Language Models
by: Miya, Shinobu
Published: (2026)

Application of algebraic topology to fingerprint recognitiony
by: Alejandro Valdés Camejo
Published: (2018)

Identity Verification in Virtual Education Using Biometric Analysis Based on Keystroke Dynamics
by: Daniel. Escobar-Grisales
Published: (2020)

Verification of transaction level models of embedded systems
by: Lucky Lochi Yu Lo
Published: (2013)

Speaker verification system based on articulatory information from ultrasound recordings
by: Dagoberto Porras-Plata
Published: (2020)

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

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

Author Verification Using a Semantic Space Model
by: Ángel Hernández-Castañeda
Published: (2017)

Welche Beziehung besteht zwischen Durchmesser und Rtex-Wert eines Netzgarns?
by: Dahm, Erdmann
Published: (1974)

Speaker Verification on Summed-Channel Conditions with Confidence Measures
by: Carlos Vaquero Avilés Casco
Published: (2011)

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

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

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

Karmil Streams — Table and Figure Report (v1.5)
by: Karmil, Ferhat
Published: (2025)